Computational Logic:
(Constraint) Logic Programming
Theory, practice, and implementation


Textbooks and References
Department of Artificial Intelligence
School of Computer Science
Technical University of Madrid
28660-Boadilla del Monte, Madrid, SPAIN

Bibliography - I

• Basic references:
  • ``The Art of Prolog'' (Second edition), Sterling & Shapiro, MIT Press, 1994.
  • ``Programming with Constraints: An Introduction'', Marriott & Stuckey, MIT Press, 1998.

• Other basic references:
  • ``From Logic Programming to Prolog'', K. Apt, Prentice-Hall, 1997.

  • ``Prolog Programming for Artificial Intelligence'', I. Bratko, Addison-Wesley Ltd. 1990 (2nd edition); 2000 (3rd edition).

  • ``Programming in Prolog'', Clocksin & Mellish, 1981, Springer-Verlag.

Textbooks and References - II

• Background references:
  • ``Logic for Computer Science: Foundations of Automatic Theorem Proving'', J.H. Gallier, 1987, John Wiley and Sons.

• More advanced references:
  • ``Special Issue on Ten Years of Logic Programming,'' The Journal of Logic Programming, Volumes 19/20, North Holland, 1994.
  • ``Warren's Abstract Machine: A Tutorial Reconstruction,'' H. Ait-Kaci, MIT Press, 1991.

  • ``Constraint Satisfaction in L.P.'', P. Van Hentenryck, 1989, MIT Press.

• Other useful references:
  • ``Essentials of Logic Programming'', C. Hogger, 1990, Clarendon Press, Oxford.
  • ``Concurrent Prolog-Collected Papers,'' E. Shapiro, MIT Press, 1987.