Comparative Study of the Inference Mechanisms in PROLOG and SPIDER

Comparative Study of the Inference Mechanisms in PROLOG and SPIDER

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...

Full description

Bibliographic Details
Main Authors: Emilia Golemanova, Tzanko Golemanov, Kostadin Kratchanov
Format: Article
Language:English
Published: UIKTEN 2018-11-01
Series:TEM Journal
Subjects:
Control Network Programming
programming paradigms
programming languages
inference mechanism
computation control
Online Access:http://www.temjournal.com/content/74/TemJournalNovember2018_892_901.pdf
Description
Summary: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.
ISSN:2217-8309
2217-8333

Similar Items