Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
Author(s): Emilia Golemanova, Tzanko Golemanov, Kostadin KratchanovSubject(s): ICT Information and Communications Technologies
Published by: UIKTEN - Association for Information Communication Technology Education and Science
Keywords: Control Network Programming; programming paradigms; programming languages; inference mechanism; computation control
Summary/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.
Journal: TEM Journal
- Issue Year: 7/2018
- Issue No: 4
- Page Range: 892-901
- Page Count: 10
- Language: English
