Enlaces

Enlaces a grupos de investigación

• Logic and Computation Group (University of Liverpool).
• Mathematical Reasoning Group (University of Edinburgh).

Enlaces a sistemas

• 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.

Enlaces a publicaciones

• Congresos.
• Números especiales de revistas.
• Revistas.