Diferencia entre revisiones de «Enlaces»

Revisión del 10:16 29 oct 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:
- Otter/Mace2.
- Prover9/Mace4.
- ACL2.
- PVS
- Isabelle.
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 4: / Línea 4: @@
 * [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh).
 *: Head: [http://homepages.inf.ed.ac.uk/bundy/ Alan Bundy].
+* [http://www.unirioja.es/dptos/dmc/psycotrip/ Psycotrip (Programming and Symbolic Computation Team] (Universidad de la Rioja).
+*: Head: Julio Rubio.
 * [http://www4.informatik.tu-muenchen.de/proj/theoremprov/group.html Theorem Proving Group] (Technische Universität München)
 *: Head: [http://www4.in.tum.de/~nipkow/ Tobias Nipkow].