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 .
.svg/1280px-Free_and_open-source_software_logo_(2009).svg.png){kind=logo}