3 ms·

There's details on how to implement Prolog (in Common Lisp) in Peter Norvig's Paradigms of Artificial Intelligence: https://github.com/norvig/paip-lisp/blob/mas

There's details on how to implement Prolog (in Common Lisp) in Peter Norvig's Paradigms of Artificial Intelligence: https://github.com/norvig/paip-lisp/blob/master/docs/chapter11.md https://github.com/norvig/paip-lisp/blob/master/docs/chapter... There's also Implementations of Prolog: https://archive.org/details/implementationso0000unse https://archive.org/details/implementationso0000unse (limited preview)

jshprentz 6y ago
Implementations of Prolog was published in 1984; its contents predate the Warren Abstract Machine. Pages 87-92 contain the article "The world's shortest Prolog interpreter?" by M. Nilsson of Uppsala University. The article describes and provides source code for a simple Lisp implementation of Prolog.