Interpretes de Prolog

Aquí encontrará enlaces a diversos interpretes y compiladores de Prolog disponibles libremente en Internet. 

B-Prolog

B-Prolog es un interprete de línea de comando disponible para múltiples plataformas como Windows, Unix y  Linux, altamente optimizado, qué sigue el modelo de Edinburgh Prolog y Prolog II e incorpora a su vez un subconjunto de los predicados dictados por el estándar de ISO.

Strawberry Prolog

Strawberry Prolog es un interprete de Prolog para Windows, que agrega capacidades de programación bajo ambiente windows al prolog, permitiendo que éste manipule gráficos y ventanas. Sin embargo, la sintaxis es algo diferente al prolog clásico, y viene con muy pocos ejemplos, la mayor parte demostrando como utilizar sus capacidades bajo windows. Se puede bajar libremente la versión Lite, pero hay que pagar por la versión profesional.

DGKS Prolog

Una maquina virtual de prolog escrita en Java, con un ambiente de ejecución y desarrollo integrado (IDE). Todavía no implemtenta algunos predicados, como manejo de archivos y entrada/salida.

GNU Prolog

El compilador de Prolog de GNU. Tiene buen desempeño, e incluye tanto compilador como interprete interactivo. Además, cumple con el estándar ISO de prolog. Solo soporta Linux, Solaris y SunOS.

Logtalk

Logtalk es una versión de prolog que agrega características de orientación por objetos a Prolog. Parte del propio compilador está escrita en prolog, por lo que se necesita disponer previamente de un compilador de prolog para compilarlo.

SWI Prolog

SWI es un interprete de línea de comando pequeño y rápido y cuya maquina interna puede ser anidada en otros programas. El interprete se distribuye bajo la licencia GPL. Corre bajo los ambientes de Windows y Unix/Linux.

XSB Prolog

XSB es un interprete de línea de comando que ha sido portado a múltiples plataformas, y que ofrece un conjunto importante de optimizaciones y características. Así mismo, ofrece interfaces a C, ODBC y Java.