A Look-Ahead Interpreter for Sequential Prolog and Its Implementation

[1]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[2]  Jürgen Avenhaus,et al.  On Logic Programs with Data-Driven Computations , 1985, European Conference on Computer Algebra.

[3]  Mats Carlsson,et al.  The Compilation of Prolog Programs without the Use of a Prolog Compiler , 1984, Fifth Generation Computer Systems.

[4]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[5]  Lee Naish,et al.  Negation and Control in Prolog , 1986, Lecture Notes in Computer Science.

[6]  John A. Campbell.  Implementation of PROLOG , 1984 .

[7]  Kazunori Ueda,et al.  Guarded Horn Clauses , 1986, LP.