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