GNU Prolog (64-bit) 1.4.3

GNU Prolog (64 bits) é um compilador Prolog poderoso e gratuito que oferece resolução de restrições em domínios finitos. Este software foi desenvolvido para desenvolvedores que precisam criar programas complexos com facilidade. O GNU Prolog aceita Prolog com programas de restrição e produz binários nativos, tornando-o autônomo e eficiente.

Uma das vantagens mais significativas do GNU Prolog é sua capacidade de evitar vincular o código da maioria dos predicados integrados não utilizados, resultando em tamanhos de executáveis ​​menores. Os desempenhos do GNU Prolog são muito encorajadores, comparáveis ​​aos sistemas comerciais.

Além da compilação de código nativo, o GNU Prolog oferece um interpretador clássico (de nível superior) com um depurador. O interpretador fornece facilidade de edição de linha no modo interativo com conclusão em átomos, tornando mais fácil para os desenvolvedores depurar seu código.

O software está em conformidade com o padrão ISO para Prolog com muitas extensões muito úteis na prática, como variáveis ​​globais, interface do sistema operacional e soquetes. Isso torna mais fácil para os desenvolvedores criar programas complexos que podem interagir perfeitamente com outros sistemas.

O GNU Prolog também inclui um eficiente solucionador de restrições sobre domínios finitos (FD). Isso abre a programação de lógica de restrição para os usuários, combinando o poder da programação de restrição com a declaratividade da programação de lógica. Com esse recurso, os usuários podem definir suas restrições facilmente sem se preocupar com erros de sintaxe ou outros problemas.

As restrições predefinidas incluem restrições aritméticas, como adição e subtração; Restrições booleanas como AND/OR; restrições simbólicas como correspondência de strings; restrições reificadas que permitem expressar condições lógicas usando operadores booleanos; heurísticas de enumeração predefinidas que o ajudam a encontrar soluções rapidamente, explorando sistematicamente diferentes possibilidades.

Os usuários também podem definir suas próprias novas restrições usando comandos simples fornecidos pelo compilador de linha de comando do prólogo GNU aceitando uma variedade de arquivos. Isso torna mais fácil para os desenvolvedores que desejam mais controle sobre o comportamento de seus programas ou precisam de funcionalidades específicas não disponíveis em bibliotecas predefinidas.

Em resumo, se você estiver procurando por uma ferramenta poderosa e gratuita que permita criar programas complexos facilmente, em conformidade com os padrões da indústria, não procure mais, GNU prólogo!