Bibliography

[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.