GNU Prolog (también llamado gprolog ) es un compilador desarrollado por Daniel Diaz con un entorno de depuración interactivo para Prolog disponible para Unix , Windows , Mac OS X y Linux . También admite algunas extensiones de Prolog, incluida la programación de restricciones sobre un dominio finito , el análisis mediante gramáticas de cláusulas definidas y una interfaz de sistema operativo .
Desarrollador (es) | Daniel Díaz [1] |
---|---|
Lanzamiento estable | 1.4.5 / 14 de julio de 2018 |
Escrito en | C |
Sistema operativo | Linux , Solaris, Windows, BSD, Mac OS X |
Tipo | Compilador |
Licencia | Licencia pública general GNU v2 (o superior) o Licencia pública general reducida GNU v3 (o superior) o ambas en paralelo |
Sitio web | www |
El compilador convierte el código fuente en código de bytes que puede ser interpretado por una máquina abstracta de Warren (WAM) y lo convierte en ejecutables independientes .