Describir: Fundamentos logicos del programa de razonamiento automatico Otter