Logic Programming


Goals

  1. To study declarative programming within the framework of logic
     programming, and to see how to approximate this with the
     programming language Prolog.

  2. To study the theoretical foundations of logic programming.

  3. To study advanced logic programming techniques.


Topics

  Introduction to Logic Programming
  Definite Logic Programs and "Pure" Prolog
  A Methodology of Logic Program Construction
  Normal Logic Programs and "Impure" Prolog
  Pragmatics
  Advanced Data-Structures
  Advanced Programming Techniques


Textbooks

   L. Sterling and E. Shapiro.
   The Art of Prolog: Advanced Programming Techniques.
   Second, extended edition.
   The MIT Press, 1994.

   J.W. Lloyd.
   Foundations of Logic Programming.
   Second, extended edition.
   Springer-Verlag, 1987.


Other References

   Y. Deville.
   Logic Programming: Systematic Program Development.
   Addison-Wesley, 1990.

   C.J. Hogger.
   Essentials of Logic Programming.
   Oxford University Press, 1990.

   R.A. O'Keefe.
   The Craft of Prolog.
   The MIT Press, 1990.