GNU Prolog es un compilador libre de Prolog con restricción resolver sobre dominios finitos. GNU Prolog acepta Prolog con programas de restricción y produce binarios nativos (como gcc hace a partir de una fuente de C). El ejecutable obtenido se autónomo. El tamaño de este ejecutable puede ser pequeña ya que GNU Prolog puede evitar que une el código de la mayoría no utilizados predicados incorporados. Las actuaciones de GNU Prolog son muy alentadores (comparable a los sistemas comerciales). Al lado de la compilación de código nativo, GNU Prolog ofrece un intérprete clásico (de alto nivel) con un depurador.
La parte Prolog se ajusta a la norma ISO para Prolog con muchas extensiones muy útiles en la práctica (variables globales, interfaz del sistema operativo, y tomas de corriente). GNU Prolog también incluye una restricción eficiente solucionador sobre finitos Dominios (FD). Esto abre la programación lógica restricción al usuario combinar el poder de la programación con restricciones a la declarativity de la programación lógica. Las características incluyen ajusta a la norma ISO para Prolog, instalación de la edición de línea bajo el intérprete interactivo con la finalización de los átomos, interfaz bidireccional entre Prolog y C, compilador de código nativo producir soportar ejecutables solo, simple compilador de línea de comandos de aceptar una variedad de archivos, predefinida limitaciones:. limitaciones aritméticas, las limitaciones de Boole, restricciones simbólicas y las limitaciones cosificadas, heurística enumeración predefinidos, y los usuarios pueden definir sus propias nuevas restricciones
Comentarios que no se encuentran