Sistema basado en conocimiento usando
deducción natural y logica de predicados de primer orden