Vol.7, No.4, November 2018. ISSN: 2217-8309 eISSN: 2217-8333
TEM Journal
TECHNOLOGY, EDUCATION, MANAGEMENT, INFORMATICS Association for Information Communication Technology Education and Science |
Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
Emilia Golemanova, Tzanko Golemanov, Kostadin Kratchanov
© 2018 Emilia Golemanova, published by UIKTEN. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. (CC BY-NC-ND 4.0)
Citation Information: TEM Journal. Volume 7, Issue 4, Pages 892-901, ISSN 2217-8309, DOI: 10.18421/TEM74-30, November 2018.
Received: 04 October 2018.
Abstract:
Control Network Programming (CNP) is a graphical nonprocedural programming style whose built-in inference engine (interpreter) is based on search in a recursive network. This paper is the third in a series of reports that share a common objective – comparison between the CNP language SPIDER and the logic programming language PROLOG. The focus here is on the comparative investigation of their interpreters, presented in a generic formal frame – reduction of goals. As a result of juxtaposing their pseudo-codes the advantages of SPIDER are outlined.
Keywords –Control Network Programming, programming paradigms, programming languages, inference mechanism, computation control. |
----------------------------------------------------------------------------------------------------------- ----------------------------------------------------------------------------------------------------------- |