GNU Prolog (64-bit) para Windows

GNU Prolog es un compilador de Prolog gratuito con resolución de restricciones sobre dominios finitos. GNU Prolog acepta programas de Prolog con restricciones y produce binarios nativos (como lo hace gcc a partir de un código fuente en C). El ejecutable obtenido es, por lo tanto, independiente. El tamaño de este ejecutable puede ser pequeño ya que GNU Prolog puede evitar enlazar el código de la mayoría de los predicados incorporados no utilizados. El rendimiento de GNU Prolog es muy alentador (comparable a 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 se ajusta al estándar ISO para Prolog con muchas extensiones muy útiles en la práctica (variables globales, interfaz de sistema operativo y sockets). GNU Prolog también incluye un eficiente solucionador de restricciones sobre Dominios Finitos (FD). Esto abre la programación lógica con restricciones al usuario, combinando el poder de la programación con restricciones con la declaratividad de la programación lógica. Las características incluyen conformidad con el estándar ISO para Prolog, instalación de edición de líneas bajo el intérprete interactivo con autocompletado 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, restricciones predefinidas: restricciones aritméticas, restricciones booleanas, restricciones simbólicas y restricciones reificadas, heurísticas de enumeración predefinidas, y el usuario puede definir sus propias nuevas restricciones.