Enlaces
y Otras Informaciones.
ISO Prolog Standar:
http://www.als.com/nalp/prolog_std.html
Compiladores
e interpretes de lenguajes declarativos.
-
Visual Prolog: Compilador
para una versión con tipos y orientación a objetos del lenguaje
Prolog. Puede obtenerse más información en las direcciones
URL http://www.visual-prolog.com
y http://www.pdc.dk
-
Strawberry Prolog: Otro
compilador para el lenguaje Prolog puede obtenerse en http://www.dobrev.com
-
SWI Prolog: Un Interprete
para el lenguaje Prolog puede obtenerse en http://www.swi-prolog.org/
-
SISCTUS Prolog: El sistema
interprete/compilador de Prolog standard más potente. Información
sobre Sisctus Prolog se puede en contrar en http://www.sics.se/
-
HUGS98: Un Interprete
para el lenguaje funcional (perezoso) Haskell puede obtenerse en http://www.haskell.org/hugs
-
PAKCS:
Una implementación del lenguaje lógico funcional Curry.
El lenguaje Curry integra las mejores características de los lenguajes
lógicos y funcionales puros, también incorpora facilidades
para la ejecución concurrente de restricciones.
-
CMU Repositories: Prolog,
Lisp,
Scheme.
Grupos
de noticias y asociaciones.
-
comp.lang.prolog: Grupo
de noticias
-
comp.lang.functional:
Grupo de noticias
-
comp.object.logic: Grupo
de noticias centrado en la integración de los paradigmas de programación
lógico y orientado a objetos
-
The Association of Logic Programming
(ALP): http://www.cwi.nl/projects/alp/
-
Compulog Network of Excellence
in Computational Logics (COMPULOG): http://www.compulog.org/