GNU Prolog 1.5
Download
Grátis  

GNU Prolog 1.5

Grátis Ele é um compilador Prolog com restrição de problemas nos domínios finitos
4.5 
Rating
Seu voto:
Última versão:
1.5.0 Ver tudo
Desenvolvedor:
Screenshots
1 / 3
Download
Grátis  

GNU Prolog é um compilador Prolog com restrição de problemas nos domínios finitos desenvolvido por Daniel Diaz. GNU Prolog aceita Prólogo restrição de programas e produz binários nativos (como o gcc faz a partir de um código fonte em C). Os resultados obtidos, o executável é autônoma.
O tamanho do executável pode ser muito pequena, pois GNU Prolog pode evitar de ligar o código mais não utilizados construído-em predicados. As performances de GNU Prolog são muito encorajadores (comparáveis a sistemas comerciais). Ao lado do nativo de compilação de código, GNU Prolog oferece uma clássica interpretador interativo (nível superior), com um depurador.
O Prólogo parte está de acordo com a norma ISO para o Prólogo com muitas extensões muito úteis na prática (variáveis globais, OS de interface, sockets).GNU Prolog também inclui um eficiente solver de restrições sobre Finito Domínios (FD). Isso abre restrição lógica de programação para o usuário combinar o poder de restrição de programação para o declarativity de lógica de programação.
Principais características:
- Prólogo do sistema:
- está em conformidade com a norma ISO para o Prólogo (números de ponto flutuante, córregos, dinmica de código).
- um monte de extensões: variáveis globais, definitivo cláusula gramáticas (DCG), de sockets interface, interface de sistema operativo
- mais de 300 Prólogo construído-em predicados.
- Prolog depurador e um baixo nível WAM depurador.
a edição de linha de estabelecimento sob o interpretador interativo com conclusão em átomos.
- poderosa interface bidirecional entre o Prólogo e C.
- Compilador:
- nativa-código de compilador produzir autônomo executáveis.
- simples de linha de comando do compilador aceitar uma ampla variedade de arquivos: Prólogo arquivos, ficheiros C, WAM arquivos,...
direto de geração de código assembly 15 vezes mais rápido do que wamcc gcc.
- a maioria dos não utilizados construído-em predicados não são ligadas (para reduzir o tamanho dos executáveis).
- compilado predicados (código nativo) tão rápido quanto wamcc, em média.
consultado predicados (byte-code) 5 vezes mais rápido do que wamcc.
- Solver:
- FD variáveis de bem integrado no Prólogo ambiente (compatibilidade total com o Prolog variáveis e números inteiros). Não há necessidade explícita FD declarações.
- muito eficiente FD solver (comparável ao comercial solucionadores de problemas).
- alto nível de restrições pode ser descrito em termos de simples e primitivos.
- um monte de restrições predefinidas: aritmética restrições, boolean restrições, simbólico restrições, reificado constrangimentos,...
- várias opções pré-definidas heurística de enumeração.
- o utilizador pode definir a sua própria novas restrições.
- mais de 50 FD built-in/restrições predicados.

Comentários

4.5
Rating
4 votes
5 stars
3
4 stars
0
3 stars
1
2 stars
0
1 stars
0
User

Seu voto: