2 research outputs found
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 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