GNU Prolog (32-bit) 1.4.3

GNU Prolog (32 bits) es un compilador de Prolog potente y gratuito que ofrece resolución de restricciones en dominios finitos. Este software está diseñado para desarrolladores que necesitan crear programas complejos con facilidad. GNU Prolog acepta Prolog con programas restringidos y produce binarios nativos, al igual que lo hace gcc desde una fuente C. El ejecutable obtenido es independiente, lo que significa que puede ejecutarse en cualquier computadora sin necesidad de software o bibliotecas adicionales.

Una de las ventajas más significativas de GNU Prolog es su pequeño tamaño. Dado que este software puede evitar vincular el código de la mayoría de los predicados incorporados no utilizados, el tamaño del ejecutable puede ser muy pequeño. Esto lo hace ideal para los desarrolladores que desean crear aplicaciones ligeras que no ocupen demasiado espacio en las computadoras de los usuarios.

Las actuaciones de GNU Prolog también son muy alentadoras y comparables a los sistemas comerciales. Esto significa que puede confiar en que este software le brindará resultados rápidos y eficientes cada vez que lo use.

Además de la compilación de código nativo, GNU Prolog ofrece un intérprete clásico (nivel superior) con un depurador. El intérprete le permite probar su código de forma interactiva y depurar cualquier problema que surja durante el desarrollo.

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). Esto significa que puede confiar en que este software le brindará resultados confiables cada vez que lo use.

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.

Características:

- Cumple con la norma ISO para prólogo

- Facilidad de edición de línea bajo intérprete interactivo con finalización en átomos

- Interfaz bidireccional entre prólogo y C

- Compilador de código nativo que produce ejecutables independientes

- Compilador de línea de comandos simple que acepta varios archivos

- Restricciones predefinidas: restricciones aritméticas, restricciones booleanas, restricciones simbólicas, restricciones cosificadas.

- Heurística de enumeración predefinida.

- Nuevas restricciones definidas por el usuario

En resumen:

Si está buscando un compilador de prologue potente pero gratuito con resolución de restricciones en dominios finitos, ¡no busque más allá de GNU prologue de 32 bits! Con su tamaño pequeño pero sus impresionantes capacidades de rendimiento, junto con una interfaz de usuario intuitiva, hacen que este programa sea perfecto no solo para principiantes sino también para programadores experimentados.