Vol.7, No.4, November 2018.                                                                                                                                                                             ISSN: 2217-8309

                                                                                                                                                                                                                        eISSN: 2217-8333


TEM Journal



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.
Accepted: 12 November 2018.
Published: 26 November 2018.




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.



Full text PDF >  



Copyright © 2012-2018 UIKTEN, All Rights reserved
Copyright licence: All articles are licenced via Creative Commons CC BY-NC-ND 4.0 licence