Diferencia entre revisiones de «Enlaces»

Revisión del 12:58 25 oct 2008

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.

@@ Línea 4: / Línea 4: @@
 == Enlaces a sistemas ==
+* Programación lógica: [http://www.swi-prolog.org/ SWI-Prolog] y [http://www.gprolog.org/ GNU Prolog].
+* Programación lógica con restricciones: [http://www.eclipse-clp.org/ ECLIPSe] y [http://www.cs.kuleuven.be/~dtai/projects/CHR/ CHR].
+* Programación basada en conjuntos de respuestas: [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV], [http://www.tcs.hut.fi/Software/smodels/ Smodels], [http://www.cs.utexas.edu/users/tag/cmodels.html Cmodels] y [http://www.cs.uni-potsdam.de/clasp/ clasp].
+* Programación funcional:
+** con Haskell: [http://cvs.haskell.org/Hugs/index.html Hugs] y [http://haskell.org/ghc/index.html GHC].
+** con Lisp: [http://clisp.cons.org/ CLISP] y [http://www.gnu.org/software/gcl/ GCL].
+** con Scheme: [http://plt-scheme.org/ PLT Scheme] (incluye [http://www.drscheme.org/ DrScheme]).
+* Programación basada en reglas de producción: [http://clipsrules.sourceforge.net/ CLIPS] y [http://herzberg.ca.sandia.gov/ Jess].
+* Programación en sistemas de demostración: [http://www.cs.unm.edu/~mccune/otter/ Otter/Mace2], [http://www.cs.unm.edu/~mccune/prover9/ Prover9/Mace4], [http://www.cs.utexas.edu/users/moore/acl2/ ACL2], [http://pvs.csl.sri.com/ PVS] e [http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle].
 == Enlaces a publicaciones ==