GNU Prolog é um compilador Prolog livre com restrição de resolução sobre domínios finitos. GNU Prolog aceita Prolog com programas de restrição e produz binários nativos (como gcc faz a partir de uma fonte de C). O executável obtido é então stand-alone. O tamanho deste executável pode ser pequeno, pois GNU Prolog pode evitar que liga o código da maioria não utilizados predicados embutidos. As performances de GNU Prolog são muito encorajadores (comparável a sistemas comerciais). Ao lado da compilação do código nativo, GNU Prolog oferece um intérprete clássica (nível superior), com um depurador.
A parte Prolog está em conformidade com a norma ISO para Prolog com muitas extensões muito úteis na prática (variáveis globais, interface do OS, e sockets). GNU Prolog também inclui uma restrição eficiente solver sobre domínios finitos (FD). Isso abre a programação lógica de restrição ao usuário combinar o poder de programação por restrições ao declaritividade da programação lógica. As características incluem conformidade com o padrão ISO para Prolog, facilidade de edição linha sob o interpretador interativo com conclusão em átomos, interface bidireccional entre Prolog e C, compilador de código nativo produzir limpante executáveis, simples compilador de linha de comando que aceita uma variedade de arquivos, pré-definida restrições:. constrangimentos aritméticas, restrições booleana, restrições simbólicas e restrições reificadas, heurísticas de enumeração predefinidos, eo usuário pode definir suas próprias novas restrições
Comentários não encontrado