| Gnu prolog (64 bits) Aceite Prolog com restrições e compile os domínios finitos. |
Baixe Agora |
Gnu prolog (64 bits) Classificação e resumo
- Nome do editor:
- By Daniel Diaz
- Site do editor:
- http://www.gprolog.org/
- Sistemas operacionais:
- Windows, Windows 7
- Requisitos adicionais:
- None
- Tamanho do arquivo:
- 4.57MB
Gnu prolog (64 bits) Tag
Gnu prolog (64 bits) Descrição
Gnu Prolog é um compilador de prólogo livre com resolução de restrições sobre domínios finitos. GNU Prolog aceita prólog 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, já que o GNU Prolog pode evitar vincular o código da maioria dos predicados integrados não utilizados. As performances do GNU Prolog são muito encorajadoras (comparáveis a sistemas comerciais). Ao lado da compilação de código nativo, o GNU Prolog oferece um intérprete clássico (nível superior) com um depurador. A parte do prólogo está em conformidade com o padrão ISO para o Prolog com muitas extensões muito úteis na prática (variáveis globais, Interface do sistema operacional e soquetes). O GNU Prolog inclui também um solucionador de restrição eficiente sobre domínios finitos (FD). Isso abre a programação lógica de restrição para o usuário combinando o poder de programação de restrição para a declaratividade da programação lógica. As características incluem o padrão ISO para o PROLOG, a instalação de edição de linha sob o interpretador interativo com a conclusão de átomos, interface bidirecional entre o Prolog e C, compilador de código nativo que produz executáveis independentes, compilador simples de linha de comando aceitando uma variedade de arquivos, predefinidos Restrições: restrições aritméticas, restrições booleanas, restrições simbólicas e restrições reificadas, heurística de enumeração predefinida, e usuário pode definir suas próprias novas restrições.
Gnu prolog (64 bits) Software Relacionado