Transparencias primera parte del curso

  1. Datalog (I) y (II). Artículo de referencia: Towards a Theory of Declarative Knowledge
  2. Answer Set Programming
  3. Qualified Logic Programming  (Cortesía de Carlos  A. Romero Díaz).
  4. Depuración Declarativa
  5. Ejercicios 21/11/2011 con su solución


Sistemas

  1. Datalog
  2. lparse/smodels
  3. Toy