Diferencia entre revisiones de «Enlaces»
(→Enlaces a sistemas) |
(→Enlaces a sistemas) |
||
| Línea 14: | Línea 14: | ||
** [http://www.gprolog.org/ GNU Prolog]. | ** [http://www.gprolog.org/ GNU Prolog]. | ||
* Programación lógica con restricciones: | * Programación lógica con restricciones: | ||
| − | ** [http://www.eclipse-clp.org/ ECLIPSe]. ** [http://www.cs.kuleuven.be/~dtai/projects/CHR/ CHR]. | + | ** [http://www.eclipse-clp.org/ ECLIPSe]. |
| + | ** [http://www.cs.kuleuven.be/~dtai/projects/CHR/ CHR]. | ||
* Programación basada en conjuntos de respuestas: | * Programación basada en conjuntos de respuestas: | ||
** [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV]. | ** [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV]. | ||
Revisión del 13:04 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:
