Gnu prolog (32 bits) Aceite Prolog com restrições e compile os domínios finitos.
Baixe Agora

Gnu prolog (32 bits) Classificação e resumo

Gnu prolog (32 bits) Tag

Gnu prolog (32 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 (32 bits) Software Relacionado