Programación Lógica
Teoría, práctica, e implementación




Francisco Bueno D2205 (coordinador)
Manuel Hermenegildo - Pedro López
María del Carmen Suárez
(TA/Ayudante - Homework, office 3205, Wed 10:30-12:30 and Thu 15:00-17:00)
proglog@dia.fi.upm.es
Departamento de Inteligencia Artificial
Facultad de Informática
Universidad Politécnica de Madrid
28660-Boadilla del Monte, Madrid, SPAIN
CURSO 2009-2010


minipage0.97 Nota: Este primer grupo de transparencias con informaci´on de sistemas, etc. puede cambiar durante el transcurso del curso, por lo que se recomienda consultar en caso de duda su versi´on on-line en: http://www.clip.dia.fi.upm.es/~proglog

Cómo obtener información sobre la asignatura

• Información de la asignatura: está disponible on-line por WWW (ya sea para consulta desde un terminal o para imprimirla) en la dirección: http://www.clip.dia.fi.upm.es/~proglog/
  • Transparencias de clase (incluidas éstas) en formatos html, pdf y postscript.
  • Normas generales de la asignatura (por ejemplo, éstas).
  • Mensajes enviados a la lista de correo de la asignatura (ver después).

• Dirección para tutorías, consultas, etc.:
  • Además de en las horas normales de tutoría, se pueden realizar consultas por correo electrónico sobre la asignatura, prácticas, métodos de evaluación, fechas de exámenes, dudas de clase, etc. mandando correo a: proglog@clip.dia.fi.upm.es

  • Dichos mensajes se pueden mandar desde las máquinas de prácticas (están habilitadas para mandar a clip.dia.fi.upm.es), o desde cualquier otra máquina.

Cómo obtener información sobre la asignatura (Cont.)

• Lista de correo de la asignatura: proglogstudents@clip.dia.fi.upm.es
  • Toda la información sobre la asignatura se mandará a dicha lista de correo:
    • Enunciados de las prácticas y fechas de entrega.
    • Instrucciones de uso de los diferentes sistemas utilizados en las prácticas.
    • Respuestas a preguntas de interés general.
    • Avisos, cambios de clase, calificaciones, etc.

  • Para cursar la asignatura es obligatorio darse de alta en esta lista. La lista está gestionada automáticamente por el programa majordomo:
    • Para darse de alta, mandar un mensaje a
      proglogstudents-request@clip.dia.fi.upm.es desde la máquina en la que se quieran recibir los mensajes de la asignatura, y que contenga en el cuerpo la palabra subscribe sola en una linea.
    • Para darse de baja, se sigue el mismo proceso, pero poniendo unsubscribe.

• La lista esta archivada en:
  http://www.clip.dia.fi.upm.es/Mail/proglogstudents/index.html

Evaluación

• Prácticas:
  • Se realizarán varias prácticas durante el curso.
  • Dichas prácticas se realizarán por grupos de cuatro personas.
  • Los enunciados, instrucciones, información sobre los sistemas a utilizar, etc., se enviarán por correo electrónico.
  • La entrega de las prácticas se hará a través de la página de Moodle (Aula Virtual) de la asignatura.
  • La nota final de prácticas será la media de todas las prácticas.

• Exámenes / Calificación:
  • Si se han aprobado las prácticas (media $\geq$ 5.0) con ``garantía de autenticidad'' (y un examen individual final corto), la nota final será la de prácticas.

  • En caso contrario, es necesario presentarse al examen final (largo) y la nota final será la obtenida en dicho examen.

  • En septiembre sólo se puede aprobar por examen final.

Reservas de Sistemas para Prácticas

• Los sistemas (u otros equivalentes) se pueden instalar en PCs individuales.

• Hay también un sistema principal de prácticas:
  Reguerillo/Aguila/Drach (BATMAN).

• La reserva de horas es personal.

• Ver web facultad para más detalles.

• A lo largo del curso se enviará a la lista de correo información adicional sobre los sistemas software a utilizar.

• También se encuentran disponibles en
  http://www.clip.dia.fi.upm.es/Software/Ciao
  para instalar en Linux, Windows, MacOs X, etc.

Libros de Texto y de Referencia - I

• Libros de referencia básicos:
  • ``The Art of Prolog'' (Second edition), Sterling & Shapiro, MIT Press, 1994.
  • ``Prolog Programming for Artificial Intelligence'', I. Bratko, Addison-Wesley Ltd. 1990 (2nd edition); 2000 (3rd edition)

• Otros libros de referencia básicos:
  • ``From Logic Programming to Prolog'', K. Apt, Prentice-Hall, 1997.
  • ``Foundations of Logic Programming'' (second edition), J.W. Lloyd, Springer-Verlag, 1991.
  • ``Logic for Computer Science: Foundations of Automatic Theorem Proving'', J.H. Gallier, 1987, John Wiley and Sons.
  • ``Programming in Prolog'', Clocksin & Mellish, 1981, Springer-Verlag.
  • ``Essentials of Logic Programming'', C. Hogger, 1990, Clarendon Press, Oxford.
  • ``Lógica Informática'', J. Cuena, 1985, Alianza.

Libros de Texto y de Referencia - II

• Otros libros de referencia avanzados:
  • ``Special Issue on Ten Years of Logic Programming,'' The Journal of Logic Programming, Volumes 19/20, North Holland, 1994.

• Extensiones de la Programación Lógica:
  • ``Warren's Abstract Machine: A Tutorial Reconstruction,'' H. Ait-Kaci, MIT Press, 1991.
  • ``Programming with Constraints: An Introduction'', Marriott & Stuckey, MIT Press, 1998.
  • ``Constraint Satisfaction in L.P.'', P. Van Hentenryck, 1989, MIT Press.
  • ``Concurrent Prolog-Collected Papers,'' E. Shapiro, MIT Press, 1987.