Constraint Logic Programming (Logisch Programmeren)

Semester 2, Kwartiel 3, Bachelor Third Year. Course code: 211113. Teletop link. VIST link. Location: LA A127 (lectures), the schedule will change, so stay tuned For the location of the practica, see the schedule.

Rooster/Agenda (changed)

Course Material

• The exercises


• The slides


• Documentation
  • Part 1: Programming in Prolog.
  • The Prolog Tutorial by Ulle Endriss (by kind permission of the author). This is the main source of info for the practical side of Prolog and Logic Programming.
  • The Tutorial on Logic Programming and Prolog, by K. R. Apt.
  • The OLD Tutorial on Logic Programming of K. R. Apt (refer to this tutorial for the biblical family example).
  • A local mirror of the Documentation of Eclipse.
  
  
  • Part 2: Programming with constraints
    • The paper Algorithms for Constraint Satisfaction Problems: A survey, by V. Kumar.


• FAQ: which kind of questions can I expect in the exam?


• Extra
  • Logic Programming, by K. R. Apt (9Mb - scanned image). From 'Handbook of theoretical computer science, Vol. B'. This is a very complete introduction to the theory of LP.
  • A nice Introduction to ECLiPSe, by Wallace et al. This paper give a nice comparison of different contstraint solvers.
  • Some of the slides of tthe first lesson on constraints are taken from the prepared by Roman Bartak, and are downloaded from his on-line guide to constraint programming . The appropriate reference is: Constraint Programming: In Pursuit of the Holy Grail Barták, R., in Proceedings of WDS99 (invited lecture), Prague, June 1999. (Follow the link for a .pdf file of the whole article).
  • The manual of the clp(Q,R) library.
  • The homepage of the ECLIPSE CLP system.


• Recommended readings (not at all obligatory)
  • (new, very nice) Constraint Logic Programming using ECLIPSE, by K. R. Apt and M. G. Wallace. Published by Cambridge University Press.
  • Principles of Constraint Programming, by K. R. Apt. Published by Cambridge University Press.
  • Clause and Effect, by William F. Clocksin. Published by Springer.

The Eclipse Compiler

Other Pointers

• Texts of the old practica.
• The Constraint archive.
• Constraint Logic Programming Systems (see the constraint archive for the most up-do-date informations)
  • The GNU Prolog web site
  • GNU prolog manual
    • On-line, html version
    • archived html version to take home, you can either use winzip (under windows) or "tar -xf NOMEFILE" (under Linux) to extact it.
    • postscript, one-page format.
    • postscript, two-page format.
  • The Mozart Programming System
  • SICStus Prolog

• Other Systems
  • ILOG SOLVER
  • Java Constraint Library