Prólogo de GNU

GNU Prolog (también llamado gprolog ) es un compilador desarrollado por Daniel Díaz con un entorno de depuración interactivo para Prolog disponible para Unix , Windows , Mac OS X y Linux . También admite algunas extensiones para Prolog, incluida la programación de restricciones sobre un dominio finito , el análisis sintáctico mediante gramáticas de cláusulas definidas y una interfaz de sistema operativo .

El compilador convierte el código fuente en código de bytes que puede ser interpretado por una máquina abstracta Warren (WAM) y lo convierte en ejecutables independientes .

• SWI-Prólogo
• Comparación de implementaciones de Prolog
• Sintaxis y semántica de Prolog

• Sitio web oficial