| Versão | 1.4.3 |
|---|---|
| Editor | Daniel Diaz |
| Data de lançamento | 8 de abr. de 2013 |
| Data adicionada | 8 de abr. de 2013 |
| Os requisitos | Windows, Windows 7 |
| Requisitos | None |
| Total de downloads | 812 |
| Preço | Free |
Descrição
GNU Prolog é um compilador Prolog gratuito com resolução de restrições em domínios finitos. GNU Prolog aceita Prolog com programas de restrição e produz binários nativos (como o gcc faz de uma fonte C). O executável obtido é então autônomo. O tamanho deste executável pode ser pequeno, pois o GNU Prolog pode evitar vincular o código da maioria dos predicados internos não utilizados. 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 (nível superior) com um depurador.
A parte Prolog está em conformidade com o padrão ISO para Prolog com muitas extensões muito úteis na prática (variáveis globais, interface do sistema operacional e soquetes). O GNU Prolog também inclui um solucionador de restrições eficiente sobre Domínios Finitos (FD). Isso abre a programação lógica de restrição para o usuário, combinando o poder da programação de restrição com a declaratividade da programação lógica. Os recursos incluem conformidade com o padrão ISO para Prolog, facilidade de edição de linha sob o interpretador interativo com conclusão em átomos, interface bidirecional entre Prolog e C, compilador de código nativo produzindo executáveis autônomos, compilador de linha de comando simples que aceita uma variedade de arquivos, pré-definidos restrições: restrições aritméticas, restrições booleanas, restrições simbólicas e restrições reificadas, heurísticas de enumeração predefinidas e o usuário pode definir suas próprias novas restrições.
