Extensiones de la Programación Lógica /
Extensions of Logic Programming


Welcome to the home page of "Extensiones de la Programación Lógica / Extensions of Logic Programming," a one-semester course on advanced topic in applied computational logic, covering both practice and theory.

This course is meant as a continuation of Programación Lógica / Logic Programming. It is the other subject in the Computational Logic area of the Master in Artificial Intelligence taught at the School of Computer Science, Technical University of Madrid (Department of Artificial Intelligence).

The course is taught this year by:

who are members of the CLIP (Computational logic, Languages, Implementation and Parallelism) research group.

Please note that these pages are all under permanent construction/change. Comments, questions, raves, rants, etc., as well as administrative questions regarding e.g. grading, changes in the schedule, etc., regarding this course should be directed by email to <>.

Main information on the course:
  • (11-12) Basic course info, bibliography, grading, etc. (in Spanish) [pdf, html]
  • (11-12) The Extensiones de la Programación Lógica Mail Archive (both in English and Spanish).
    Contains all email messages to date, including instructions, homework assignments, grades, etc. All students must subscribe to this list. The list is managed automatically by the Majordomo program:
    • To subscribe, send a message to containing in the body the word subscribe alone in one line. Make sure your mailer does not add html commands to the body.
    • To unsubscribe, same as above, but put in the body unsubscribe alone in one line.
    • You can also subscribe using the Mailman interface.
    • To see the messages to date, look here.
  • (10-11) Moodle pages for the course (used mainly to turn in assignments).

Course Slides (in English): (note that these notes may be improved during the course):
Using this material: You are welcome to use all or part of this course material, but if you do so we ask you to please quote the origin. We would also very much appreciate if you let us know that you are using it and send us any errors you may find by email to <>. Thanks in advance.

Some Free Prolog Systems (incomplete!):
GNU Emacs Reference Card