Diferencia entre revisiones de «Enlaces»
(→Enlaces a sistemas) |
(→Enlaces a sistemas) |
||
| Línea 31: | Línea 31: | ||
*** [http://plt-scheme.org/ PLT Scheme] (incluye [http://www.drscheme.org/ DrScheme]). | *** [http://plt-scheme.org/ PLT Scheme] (incluye [http://www.drscheme.org/ DrScheme]). | ||
* Programación basada en reglas de producción: | * 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 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:
