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
- Interest Group in Pure and applied Logics (IGPL): http://www.di.ufpe.br/~igpl/
The Association of Logic Programming (ALP): http://www.cwi.nl/projects/alp/
- Compulog Network of Excellence in Computational Logics (COMPULOG): http://www.compulog.org/