Diferencia entre revisiones de «Enlaces»
(→Enlaces a sistemas) |
(→Enlaces a sistemas) |
||
| Línea 4: | Línea 4: | ||
== Enlaces a sistemas == | == Enlaces a sistemas == | ||
| − | * Programación lógica: [http://www.swi-prolog.org/ SWI-Prolog] | + | * Sistemas de demostración: |
| − | * Programación lógica con restricciones: [http://www.eclipse-clp.org/ ECLIPSe] | + | ** [http://www.cs.unm.edu/~mccune/otter/ Otter/Mace2]. |
| − | * Programación basada en conjuntos de respuestas: [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV] | + | ** [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://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle]. | ||
| + | * Programación lógica: | ||
| + | ** [http://www.swi-prolog.org/ SWI-Prolog]. | ||
| + | ** [http://www.gprolog.org/ GNU Prolog]. | ||
| + | * Programación lógica con restricciones: | ||
| + | ** [http://www.eclipse-clp.org/ ECLIPSe]. ** [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]. | ||
| + | ** [http://www.cs.uni-potsdam.de/clasp/ clasp]. | ||
* Programación funcional: | * Programación funcional: | ||
| − | ** con Haskell: [http://cvs.haskell.org/Hugs/index.html Hugs] | + | ** con Haskell: |
| − | ** con Lisp: [http://clisp.cons.org/ CLISP] | + | *** [http://cvs.haskell.org/Hugs/index.html Hugs]. |
| − | ** con Scheme: [http://plt-scheme.org/ PLT Scheme] (incluye [http://www.drscheme.org/ DrScheme]). | + | *** [http://haskell.org/ghc/index.html GHC]. |
| − | * Programación basada en reglas de producción: [http://clipsrules.sourceforge.net/ CLIPS] | + | ** con Lisp: |
| − | + | *** [http://clisp.cons.org/ CLISP]. | |
| + | *** [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]. | ||
| + | *** [http://herzberg.ca.sandia.gov/ Jess]. | ||
== Enlaces a publicaciones == | == Enlaces a publicaciones == | ||
Revisión del 12:03 25 oct 2008
Enlaces a grupos de investigación
- Logic and Computation Group (University of Liverpool).
- Mathematical Reasoning Group (University of Edinburgh).
Enlaces a sistemas
- Sistemas de demostración:
- Programación lógica:
- Programación lógica con restricciones:
- Programación basada en conjuntos de respuestas:
- Programación funcional:
- Programación basada en reglas de producción:
