Prolog references


  P. Deransart, A. Ed-Dbali, and L. Cervoni: Prolog: The Standard. Springer 1996 ( list of errata)

Krzysztof R. Apt: From Logic Programming to Prolog. Prentice Hall 1997.
Ivan Bratko: Prolog Programming for Artificial Intelligence. Addison Wesley 1986
W.F. Clocksin and C.S. Mellish Programming in Prolog. Springer Verlag. Fourth Edition. Springer-Verlag 1994
W.F. Clocksin Clause and Effect: Springer 1997
H. Coehlo and J.C. Cotta Prolog by Example. Springer-Verlag 1988
Richard O'KeefeThe Craft of Prolog. MIT Press 1990.
L. Sterling and E. Shapiro The Art of Prolog. 2nd Edition. MIT Press 1994
U. Nilsson and J. Maluszynski Logic Programming and Prolog. 2nd Edition. John Wiley 1995.

Logic programming

  Pierre Deransart and Jan Maluszynski A Grammatical View of Logic programming. MIT 1993

H.C. Doets From Logic to Logic programming. MIT 1994
C.J. Hogger Introduction to Logic Programming. Academic Press 1984
J.W. Lloyd Foundations of Logic Programming. Springer-Verlag 1984
Hassan Ait-Kaci Warrens's Abstract Machine: A Tutorial Reconstruction. MIT Press 1991. Now out of print. On line access to the book


Prolog Semantics

B.Arbab and B.M. BerryOperational and denotational semantics of Prolog. Journal of Logic Programming. 4 309-330 1987.
E. Borger and D. Rosensweig A mathematical definition of full Prolog. Science of Computer Programming. 24 249-286 1994
S. Debray and P. Mishra Denotaional and Operational Semantics in Prolog. Journal of Logic Programming 5 61-91 1988
P. Deransart and G. Ferrand An operational formal definition of Prolog. In International Symposium on Logic Programming 162-172 IEEE Computer Society 1987
N.D. Jones and A. Mycroft. Stepwise development of operational and denotational semantics for Prolog. In Sten-Ake Tarnlund editor, Proceedings of the second international Conference on Logic programming Uppsala. 281-288 1995

Negation in Prolog and Logic Programming

K.R. Aprt and F. Teusink Comparing negation in logic Programming and in Prolog. In K.R. Apt and F. Turini, editors, Meta-Logics and Logic Programming, 111-133 MIT Press 1995
K.L. Clark Negation as failure. In H. Gallaire and J. Minker, editors. Logic and databases. 293-322 Plenum Press. 1978
A. van Gelder. Negation as failure using tight derivatives for general logic programs. In Proceedings of the seventh Symposium on Principles of database Systems. ACM-SIGACT-SIGCOM 221-230 ACM Press 1988


K.a.Bowen and R.A. Kowalski Amalgamating language and Metalanguage in Logic Programming. In K.L. Clark and S-A Tarnlund editors. Logic Programming, 153-72 Academic press 1982
P.M. Hill and J.W. lloyd Analysis of meta-programs. In H.D. Abramson and M.H. Rogers editors. Proceedings of the Meta88 Workshop 23-52 MIT Press 1988

Author: J.P.E. Hodgson
Inria Rocquencourt
78153 Le Chesnay Cedex

Saint Joseph's University
Philadelphia PA 19131

Last Changed: 1999/03/09