En esta clase arrancamos con el Paradigma Lógico para el cual estaremos usando el lenguaje Prolog y vimos los siguientes temas:

• Intro: Definición de predicados, consultas individuales y universo cerrado.
• Consultas existenciales: múltiples respuestas
• Individuos simples
  
• Conjunción y disyunción
• Negación (primera parte)
  
• Resumen de nomenclatura

Guías para repasar y practicar:

• Hechos y reglas y su correspondiente práctica
• Negación y cuantificación (hasta ejercicio 8)
• Práctica negación y cuantificación (hasta ejercicio 7)

Tarea para la semana que viene:

• 2. Práctica Hechos y Reglas / 1. losEmpleados
• 2. Práctica Hechos y Reglas / 2. puedeAndar
  
• 4. Práctica negación y cuantificación / 7. TEG