Gnu prolog compilador de prólogo livre com resolução de restrições sobre domínios finitos
Baixe Agora

Gnu prolog Classificação e resumo

Gnu prolog Tag

Gnu prolog Descrição

Gnu Prolog é um compilador de prólogo livre com resolução de restrições sobre domínios finitos. O GNU Prolog aceita programas de restrição do PROGR 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 bastante pequeno, já que o GNU Prolog pode evitar vincular o código da maioria dos predicados integrados não utilizados. As desempenhos do gnu Prolog são muito encorajadoras. Além da compilação de código nativo, o Gnu Prolog oferece um intérprete interativo clássico (nível superior) com um depurador. A parte do prólólo está em conformidade com o padrão ISO para prólogo com muitas extensões muito úteis na prática. 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 contração para o usuário combinando o poder de programação de restrição para a declaratividade da programação lógica.

Gnu prolog Software Relacionado