Descargar SWI Prolog

SWI-Prolog es un entorno de desarrollo para el lenguaje de programación Prolog. Incluye un compilador, depurador, bibliotecas estándar y herramientas para desarrollo de aplicaciones basadas en lógica. El sistema soporta programación modular, concurrencia, interfaz gráfica y conexión con otros lenguajes.