Implementações
Sequoia- Implementação em linguagem Prolog. Desenvolvido para compilar com gprolog. [download] [informações]
Unificação com Sorts- Implementação em Prolog e C. Implementação desenvolvida para compilador gplc [download] [informações]
Árvores de prova- Implementação em gprolog. Desenvolvido para compilar com gprolog. [download] [informações]
[Projetos] [Implementações] [Textos e Artigos] [Coordenadores] [Informações sobre o Laboratório] [downloads] [Links]