Programas por gloria.sf.net

Este projeto tem a ver com a implementação de um motor de raciocínio baseado na 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 qu