Diferencia entre revisiones de «Enlaces»

Revisión del 11:42 1 nov 2008

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.

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.

@@ Línea 11: / Línea 11: @@
 == Enlaces a sistemas ==
 * Sistemas de demostración:
+** [http://www.cs.utexas.edu/users/moore/acl2/ ACL2].
 ** [http://www.cs.unm.edu/~mccune/otter/ Otter/Mace2].
+** [http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle].
 ** [http://www.cs.unm.edu/~mccune/prover9/ Prover9/Mace4].
-** [http://www.cs.utexas.edu/users/moore/acl2/ ACL2].
+** [http://pvs.csl.sri.com/ PVS].
-** [http://pvs.csl.sri.com/ PVS]
+** [http://twelf.plparty.org/wiki/Main_Page Twelf].
-** [http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle].
 * Programación lógica:
 ** [http://www.swi-prolog.org/ SWI-Prolog].