Programación Lógica Interesante página con un curso completo sobre Programación Lógica de la Facultad de Informática de Madrid en transparencias, a veces no muy bien explicadas, aparte de enlaces a un par de intérpretes gratuitos. Es triste que en una universidad española sólo tengan estas páginas en inglés, pero al menos es de lo mejorcito que hemos encontrado.

Introdución al Prolog Introducción a la programación lógica en Prolog. Corto y comprensible.

Tutorial de Prolog en Castellano Este tutorial pretende ser una guía básica de introducción al lenguaje de programación Prolog. Se engloba dentro de una serie de cursos que pretende profundizar en la materia a medida que se adquiere dominio de dicho lenguaje.

Tutorial de Prolog Tutorial de una sola página (eso si, muy grande), que parece insistir más en el manejo del intérprete de la Universidad de Edinburgo que en la comprensión del lenguaje. Aconsejable para los que ya hayan pasado de ahí.

Visual Prolog Entorno de desarrollo completo, con IDE, depurador, etc., para Prolog. Orientado a objetos y con posibilidad de enlazar con C/C++.

CIAO Prolog Potente compilador GNU, que interpreta el estándar ISO de Prolog y dispone de una cantidad ingente de librerías y una herramienta para la generación automática de documentación.

Sicstus Prolog El más completo compilador de Prolog, incorpora añadidos habituales en compiladores de otros lenguajes pero habitualmente ausentes cuando hablamos de Prolog. También dispone de al posibilidad de enlazar código en este lenguaje dentro de programas escritos en otros lenguajes como, por ejemplo, Visual Basic. Eso sí, es de pago.

SWI Prolog Pequeña, completa y útil implementación del Prolog de la Universidad de Edinmburgo. Principalmente realizada con fines académicos, se distribuye bajo licencia LGPL.