Enlaces

Enlaces a grupos de investigación

• Automated Reasoning Group (University of Cambridge).

  Head: Mike Gordon

• Mathematical Reasoning Group (University of Edinburgh).

  Head: Alan Bundy.

• Psycotrip (Programming and Symbolic Computation Team (Universidad de la Rioja).

  Head: Julio Rubio.

• Theorem Proving Group (Technische Universität München)

  Head: Tobias Nipkow.

Enlaces a sistemas

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

Enlaces a publicaciones

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