Gnu prolog (32 bits) Acepta prólogo con restricciones y compilación sobre dominios finitos.
Descargar ahora

Gnu prolog (32 bits) Clasificación y resumen

Gnu prolog (32 bits) Etiquetas

Gnu prolog (32 bits) Descripción

Gnu Prolog es un compilador de prólogo gratuito con resolución de restricciones sobre dominios finitos. GNU Prolog acepta prólogo con programas de restricción y produce binarios nativos (como GCC lo hace de una fuente C). El ejecutable obtenido está entonces independiente. El tamaño de este ejecutable puede ser pequeño ya que GNU Prolog puede evitar vincular el código de predicados incorporados más no utilizados. Las actuaciones de GNU Prolog son muy alentadoras (comparables a los sistemas comerciales). Además de la compilación del código nativo, GNU Prolog ofrece un intérprete clásico (nivel superior) con un depurador. La parte prólogo se ajusta a la norma ISO para prólogo con muchas extensiones muy útiles en la práctica (variables globales, Interfaz de OS, y enchufes). GNU PROG también incluye un solucionador de restricción eficiente sobre dominios finitos (FD). Esto abre la programación de lógica de restricción al usuario que combina el poder de la programación de restricción a la declaración de la programación lógica. Las características incluyen ajuste al estándar ISO para la instalación de edición de líneas en el intérprete interactivo con la finalización de los átomos, la interfaz bidireccional entre Prolog y C, el compilador de código nativo que produce los ejecutables, el compilador de línea de comandos simple que acepta una variedad de archivos, predefinidos Restricciones: Las restricciones aritméticas, las restricciones booleanas, las restricciones simbólicas y las restricciones reificadas, las heurísticas de enumeración predefinidas y el usuario pueden definir sus nuevas restricciones.

Gnu prolog (32 bits) Software relacionado