Gnu prólogo Compilador de prólogo gratis con resolución de restricciones sobre dominios finitos
Descargar ahora

Gnu prólogo Clasificación y resumen

Gnu prólogo Etiquetas

Gnu prólogo Descripción

Gnu Prolog es un compilador de prólogo gratuito con resolución de restricciones sobre dominios finitos. GNU Prolog acepta programas de restricción de prólogo 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 bastante pequeño ya que GNU Prolog puede evitar vincular el código de los predicados incorporados más no utilizados. Las actuaciones de GNU Prolog son muy alentadoras. Además de la compilación del código nativo, GNU Prolog ofrece un intérprete interactivo clásico (nivel superior) con un depurador. La parte prólogo cumple con la norma ISO para prólogo con muchas extensiones muy útiles en la práctica. GNU PROG también incluye un solucionador de restricción eficiente sobre dominios finitos (FD). Esto abre la programación de lógica de Contención al usuario que combina el poder de la programación de restricción a la declaración de la programación lógica.

Gnu prólogo Software relacionado