Can I read A common-LISP implementation of an extended Prolog system on EtoBox?

A common-LISP implementation of an extended Prolog system by Giuseppe Cattaneo; Vincenzo Loia is a Computer Science article available to read on EtoBox.

What is A common-LISP implementation of an extended Prolog system about?

This paper presents an extended Common LISP implementation of a PROLOG interpreter named CL-Prolog, giving a detailed description of the major problems met and the principal data structures and algorithms used for their solution.A sort of PROLOG virtual processor has been implemented whose instructions are defined using LISP as microcode; particular attention is payed to the the Memory Management Unit and the basic Control Mechanism.The reader is supposed to be accustomed with PROLOG Programming and the evaluation of the first order Logic Predicates.The main characteristics of CL-Prolog are:- Clean separation from the host language.- Tail recursion handling and binding mechanism optimization.- Portability, flexibility, and extendibility of basic model.- Interaction between PROLOG code and host LISP interpreter.Interpreter's core is separated in three big modules in order to cut off the different issues :- the reader, the evaluator, and the resources manager -Finally the introduction of a double-stack recursion management has sped up the Backtracking mechanism; the resulting overall performances of this interpreter are really comparable to other commercial one even when they are imp

Who reads A common-LISP implementation of an extended Prolog system?

Author

Giuseppe Cattaneo; Vincenzo Loia

Publisher

ACM

Published

1988

Language

EN

Field

Computer Science (Physical Sciences)