GNU Prolog es un compilador Prolog gratuito con solución para restricciones en dominios finitos. GNU Prolog acepta los programas de restricción de Prolog y produce binarios nativos (como hace gcc a partir de un código fuente en C). El ejecutable obtenido es entonces autónomo. El tamaño de este ejecutable puede ser muy pequeño, ya que GNU Prolog puede evitar vincular el código de la mayoría de los predicados integrados menos utilizados. El rendimiento de GNU Prolog es muy alentador. Además de la compilación del código nativo, GNU Prolog ofrece un intérprete interactivo clásico (de máximo nivel) con un depurador. La parte del Prolog es conforme con la norma ISO para Prolog incluyendo muchas extensiones que en la práctica, son muy útiles . GNU Prolog también incluye un eficiente resolvedor de restricciones sobre Dominios Finitos (FD). Esto abre al usuario la programación restrictiva lógica combinando la potencia de la programación con restricciones y la claridad de la programación lógica.
Comentarios