Solución declarativa de problemas

El objetivo es construir una colección de problemas y comparar sus soluciones usando distintos sistemas de programación declarativa:

• Programación lógica: SWI-Prolog y GNU Prolog.
• Programación lógica con restricciones: ECLIPSe y CHR.
• Programación basada en conjuntos de respuestas: DLV, Smodels, Cmodels y clasp.
• Programación funcional:
  • con Haskell: Hugs y GHC.
  • con Lisp: CLISP y GCL.
  • con Scheme: PLT Scheme (incluye DrScheme).
• Programación basada en reglas de producción: CLIPS y Jess.
• Programación en sistemas de demostración: Otter/Mace2, Prover9/Mace4, ACL2, PVS e Isabelle.

Como punto de partida se puede usar el material de las asignaturas

• Inteligencia Artificial I
• Inteligencia Artificial II
• Razonamiento automático
• Programación declarativa

desde el curso 1997-98 hasta el actual, así como las asignaturas que le precedieron:

• Inteligencia artificial
• Sistemas expertos
• Heurística y sistemas expertos.

Gran parte de este material se encuentra en la página cursos impartidos por J.A. Alonso.

Otras fuentes para el proyecto son

1. José A. Alonso Solución declarativa del Sudoku mediante ASP Publicaciones del Grupo de Lógica Computacional. Universidad de Sevilla, 2006.

1. K.R. Apt y M.G. Wallace Constraint Logic Programming using Eclipse.