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.

Visitar enlace