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.