| Versión | 1.4.3 |
|---|---|
| Editor | Daniel Diaz |
| Fecha de lanzamiento | 8 abr 2013 |
| Fecha Agregada | 8 abr 2013 |
| Requisitos del sistema operativo | Windows, Windows 7 |
| Requisitos | None |
| Descargas totales | 1.943 |
| Precio | Free |
Descripción
GNU Prolog es un compilador gratuito de Prolog con resolución de restricciones sobre dominios finitos. GNU Prolog acepta Prolog con programas de restricción y produce binarios nativos (como lo hace gcc desde una fuente C). El ejecutable obtenido es entonces independiente. El tamaño de este ejecutable puede ser pequeño ya que GNU Prolog puede evitar vincular el código de la mayoría de los predicados incorporados no utilizados. Las actuaciones de GNU Prolog son muy alentadoras (comparables a los sistemas comerciales). Además de la compilación de código nativo, GNU Prolog ofrece un intérprete clásico (nivel superior) con un depurador.
La parte de Prolog cumple con el estándar ISO para Prolog con muchas extensiones muy útiles en la práctica (variables globales, interfaz del sistema operativo y sockets). GNU Prolog también incluye un solucionador de restricciones eficiente sobre dominios finitos (FD). Esto abre la programación lógica de restricciones al usuario combinando el poder de la programación de restricciones con la declaratividad de la programación lógica. Las características incluyen conformidad con el estándar ISO para Prolog, función de edición de línea bajo el intérprete interactivo con finalización en átomos, interfaz bidireccional entre Prolog y C, compilador de código nativo que produce ejecutables independientes, compilador de línea de comandos simple que acepta una variedad de archivos, predefinidos restricciones: restricciones aritméticas, restricciones booleanas, restricciones simbólicas y restricciones cosificadas, heurística de enumeración predefinida y el usuario puede definir sus propias restricciones nuevas.
