| [aop] | | Leon Sterling and Ehud Shapiro, The Art of Prolog, 2nd Edition, MIT Press, 1994. http://mitpress.mit.edu/book-home.tcl?isbn=0262193388 |
| [bratko] | | Ivan Bratko, Prolog Programming for Artificial Intelligence, Addison-Wesley, 1986. |
| [campbell] | | J A Campbell (editor), Implementations of Prolog, Ellis Horwood, 1984. |
| [ok:prolog] | | Richard A O’Keefe, The Craft of Prolog, MIT Press, 1990. http://mitpress.mit.edu/book-home.tcl?isbn=0262150395 |
| [logick] | | Christopher T Haynes, “Logic continuations,” J Logic Program, vol 4, 157–176, 1987. |
| [mf:prolog] | | Matthias Felleisen, “Transliterating Prolog into Scheme,” Indiana U Comp Sci Dept Tech Report #182, 1985. |