| [aop] |  | Leon Sterling and Ehud Shapiro, The Art of Prolog, 2nd Edition, MIT Press, 1994. http://mitpress.mit.edu/books/art-prolog | 
| [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/books/craft-prolog | 
| [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. |