El Rincón del Prolog
Material interesante
Compiladores e Intérpretes Prolog
Páginas de los principales compiladores e intérpretes de Prolog. Se
pueden encontrar los propios compiladores y diverso material en Prolog.
-
SWI Prolog. Prolog de dominio publico.
- Amzi Prolog.
Prolog comercial, pero tiene versiones para uso personal sin
coste.
- Sicstus Prolog.
Prolog comercial. La página contiene numeroso material en Prolog
y varios enlaces interesantes.
- Eclipse.
- GNU Prolog.
Para Linux. Ademas permite manejar restricciones y
sockets.
Programas interesantes
- Isla lógica. Un conocido problema
de lógica.
- Autómatas y MT. Implementación sencilla
de un autómata finito, un autómata a pila y una máquina de Turing.