M. H. van Emden. An interpreting algorithm for Prolog programs. 1982.
M. H. van Emden. An interpreting algorithm for Prolog programs. First International Logic Programming Conference, University of Marseille, 1982. Also published in: J. A. Campbell, editor, Implementations of Prolog, Ellis Horwood, 1984.
Size 898.8 kB - File type application/pdf