Programas por gloria.sf.net

Este projeto trata-se de implementar um mecanismo de raciocínio baseado em programação lógica para um agente. Começamos com uma implementação dos procedimentos à prova de iff, por Kowalski e Fung, como um algoritmo de qualque