Prácticas de "Programación Declarativa" (03-04)

• Práctica 1 (pro)
• Práctica 2 (pro)
• Práctica 3 (pro)
• Práctica 4 (pro)
• Práctica 5 (pro)
• Práctica 6 (pro)
  • Fichero auxiliar (.dat)
• Práctica 7 (pro)

• Herramienta gráfica para la representación de árboles de resolución: CISpace(Definite Clause Deduction)

Exámenes

• Examen de Diciembre
• Examen de Febrero (1)
• Examen de Febrero (2)