Programación Lógica /
Logic Programming (2011-2012)


Para los alumnos de la asignatura optativa del Plan 96:


Welcome to the home page of "Programación Lógica / Logic Programming," a one-semester course on logic programming covering both practice and theory.

This course is one of the two subjects 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 <proglog@clip.dia.fi.upm.es>.

Main information on the course:
Course Slides (in English) (note that these notes may be improved during the course): Note: The pdf pointers point to the full size PDF versions, suitable for viewing on-line with, for example, acroread, xpdf, ghostscript/ghostview, etc. The ps pointers point to the full size PostScript versions, suitable for viewing on-line with, for example, ghostscript/ghostview. The pdf-2perpage and ps-2perpage pointers point to reduced PDF/PostScript versions (two or more slides per page), which are suitable for printing. The html pointers point to the html versions.
Note to web surfers: 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 <proglog@clip.dia.fi.upm.es>. Thanks in advance.

General Note: We used to start with basic theory (resolution, etc..), then Logic Programming, then Prolog. Lately, we have decided to start directly with a quick introduction to Logic Programming and Prolog programming, relating things at the end with logic theory. This is the version in these pages -- which is not very different from the previous one, except for the order. If you prefer to start with theory, just use the lp_theory slides first and remove some slides (first order languages and unification, mainly) from logic_programming.tex. (One of the reasons for doing things the way we do them is that our students take two semesters of logic prior to this course and are therefore quite familiar with, e.g., resolution, models. etc., but not with logic programming.)

Some Free Prolog Systems (incomplete!):
GNU Emacs 21 Reference Card
Last modified: Wed Apr 14 21:48:15 2010 <proglog@clip.dia.fi.upm.es>