YAP. Classificação e resumo
- Licença:
- Artistic License
- Site do editor:
- http://www.dcc.fc.up.pt/~vsc/Yap/
YAP. Tag
YAP. Descrição
Yap é um compilador de prolog de alto desempenho. Yap é um compilador de alta performance de Prolog desenvolvido no Coppe Sistemas / UFRJ e no LIACC / Universidade do Porto. Seu motor Prolog é baseado no WAM (Warren Abstract Machine), com várias otimizações para melhor desempenho. Yap segue a tradição de Edimburgo, e é amplamente compatível com o padrão ISO-Prolog e com Quintus e Sicstus Prolog.yap foi desenvolvido desde 1985. A versão original foi escrita em montagem, C e Prolog, e alcançou alta desempenho em máquinas baseadas em M68K . O código de montagem foi usado para implementar os emuladores WAM. Os emuladores posteriores apoiaram as arquiteturas VAX, SPARC e MIPS.Aqui são algumas características importantes de "Yap": · Portabilidade: Todo o sistema está agora escrito em compilações de C. Yap em máquinas populares de 32 bits, como PCs de Suns e Linux, e Em uma máquina de 64 bits, os alfas que executam o OSF UNIX e o Linux. · Performance: Otimizamos o emulador para obter o desempenho comparável ou melhor do que os sistemas de prólólo bem conhecidos. Na verdade, a versão atual do Yap é executada melhor que a original, escrita em linguagem de montagem. · Robustez: Testamos o sistema com uma grande variedade de aplicações de Prolog. · Extensibilidade: Yap foi projetado internamente desde o início para encapsular a manipulação de termos. Esses princípios foram utilizados, por exemplo, para implementar uma interface C simples e poderosa. A nova versão do Yap estende esses princípios para acomodar extensões para o algoritmo de unificação, que acreditamos ser úteis para implementar extensões, como programação de restrição. · Completude: Yap tem por um longo tempo, desde que a maioria das construções esperadas de uma implementação de prolog de Edimburgo. Estes incluem a funcionalidade de E / S, operações de base de dados e módulos. O trabalho em YAP pretende agora ser compatível com o padrão do Prolog. · Openess: Gostaríamos de fazer novo desenvolvimento de Yap aberto à comunidade de usuários. · Pesquisa: Yap tem sido um veículo para pesquisa dentro e fora do nosso grupo. Atualmente, a pesquisa está acontecendo em paralelização e tabulação, e suporte para as redes Bayesianas. Qual é o novo em 5.1.2 liberação de desenvolvimento: · Numerosos aprimoramentos importantes.
YAP. Software Relacionado