En esta clase, además de aprender cómo identificar si una persona es una bruja, arrancamos con un nuevo paradigma!!!
El paradigma Lógico que al igual que a Funcional lo podemos categorizar como declarativo (el motor se encarga de deducir si algo es verdadero o no, nosotros sólo declaramos verdades en nuestra base de conocimientos).

• Introducción (Silogismo y universo cerrado)
• Individuos simples
  
• Terminología del paradigma lógico y prolog
• Conjunción y Disyunción
  
• Negación
• Unificación
• Aritmética
• Inversibilidad

El TP para la próxima clase consiste únicamente en el ejercicio de la guía práctica de Inversibilidad: 11. asesinato

Desde ya, aparte de eso conviene que hagan todo lo que hay en las siguientes guías de aprendizaje y práctica:

• Hechos y Reglas
• Práctica Hechos y Reglas
• Inversibilidad
• Práctica Inversibilidad y Cuantificación