Materials in the library
These are reserved course materials in the Sherman-Fairchild Library.

Books

Required books

• Leon Sterling and Ehud Shapiro, ``The Art of Prolog'' MIT Press.
  
  
• Ivan Bratko, ``Prolog Programming for Artificial Intelligence'', Addison Wesley.
  
  

Recommended books

• Christopher John Hogger ``Essentials of Logic Programming'', Oxford.
  
  

Other books of interest

• Ulf Nilsson and Jan Maluszynski ``Logic, Programming and Prolog'', Wiley.
  
  
• John W. Lloyd, ``Foundations of Logic Programming'', Springer-Verlag.
  
  
• Robert Kowalski, ``Logic for Problem Solving'', North Holland.
  
  
• William F. Clocksin and Christopher S. Mellish, ``Programming in Prolog'', Springer-Verlag.
  
  
• Peter Flach, ``Simply Logical: Intelligent Reasoning by Example'', Wiley.
  
  

Papers

• R. Kowalski, ``Predicate logic as a programming language'', Proceedings IFIP74, pp. 569-574.
  
  
• R. Kowalski, ``Logic programming'', Proceedings IFIP83, pp. 133-145.
  
  
• W. Clocksin, ``A Prolog primer'', Byte, August 1987, pp 147-158.
  
  
• R. A. Sammut and C. A. Sammut, ``Prolog: a tutorial introduction'', The Australian Computer Journal vol 15, May 1983, pp 42-51.
  
  
• A. Colmerauer, ``Prolog in 10 figures'', Communications of the ACM, vol 28, 1296-1310, 1985.