Programas por gloria.sf.net

Este proyecto trata de implementar un motor de razonamiento basado en lógica para un agente. Comenzamos con una implementación de los procedimientos a prueba de iff, por Kowalski y Fung, como un algoritmo de cualquier momento