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
id doaj-8575e339d57b42ba804e891a0f0005f6
record_format Article
spelling doaj-8575e339d57b42ba804e891a0f0005f62020-11-25T00:49:51ZengUIKTENTEM Journal2217-83092217-83332018-11-017489290110.18421/TEM74-30Comparative Study of the Inference Mechanisms in PROLOG and SPIDEREmilia GolemanovaTzanko GolemanovKostadin KratchanovControl 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.http://www.temjournal.com/content/74/TemJournalNovember2018_892_901.pdfControl Network Programmingprogramming paradigmsprogramming languagesinference mechanismcomputation control
collection DOAJ
language English
format Article
sources DOAJ
author Emilia Golemanova
Tzanko Golemanov
Kostadin Kratchanov
spellingShingle Emilia Golemanova
Tzanko Golemanov
Kostadin Kratchanov
Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
TEM Journal
Control Network Programming
programming paradigms
programming languages
inference mechanism
computation control
author_facet Emilia Golemanova
Tzanko Golemanov
Kostadin Kratchanov
author_sort Emilia Golemanova
title Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
title_short Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
title_full Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
title_fullStr Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
title_full_unstemmed Comparative Study of the Inference Mechanisms in PROLOG and SPIDER
title_sort comparative study of the inference mechanisms in prolog and spider
publisher UIKTEN
series TEM Journal
issn 2217-8309
2217-8333
publishDate 2018-11-01
description 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.
topic Control Network Programming
programming paradigms
programming languages
inference mechanism
computation control
url http://www.temjournal.com/content/74/TemJournalNovember2018_892_901.pdf
work_keys_str_mv AT emiliagolemanova comparativestudyoftheinferencemechanismsinprologandspider
AT tzankogolemanov comparativestudyoftheinferencemechanismsinprologandspider
AT kostadinkratchanov comparativestudyoftheinferencemechanismsinprologandspider
_version_ 1725250842477461504

Similar Items