Arrancamos con el Paradigma Lógico para el cual estaremos usando el lenguaje Prolog y vimos los siguientes temas en las primeras dos clases:

• Intro: Definición de predicados, consultas individuales y universo cerrado.
• Consultas existenciales: múltiples respuestas
• Individuos simples
  
• Conjunción y disyunción
• Negación (predicado not/1)
  
• Resumen de nomenclatura
• Inversibilidad
• Existe vs Para Todo de la mano del predicado forall/2
• Aritmética: como hacer cuentas en Prolog, y en general, cómo trabajar con valores

Con esto ya cubrimos casi todos los temas del paradigma. Aprovechen las guías de Mumuki para repasar y practicar, las primeras 7 guías cubren todo lo que vimos. Como es un montón, les recomendamos en particular los siguientes ejercicios:

• Fiesta de cátedra
• tareas
• puntajeFuerzaMartillo
  
• Equipo al horno
  

Sobre el trabajo práctico:

Por los ajustes de cronograma que tuvimos que hacer, el trabajo práctico para este paradigma no va a estar compuesto por más de una entrega. La fecha de entrega oficial es la que se encuentra actualmente en el cronograma.

El enunciado del TP está dividido en 3 partes:

• Parte 1: Armado de base de conocimientos.
• Parte 2: Cuantificación.
• Parte 3: Trabajo con individuos compuestos.

Con lo visto ya pueden trabajar sobre las primeras dos partes.

Al igual que para el TP pasado, les proveemos el código de base que pueden descargar acá para que puedan probar la lógica que desarrollan. El readme y el mismo archivo de pruebas tiene explicaciones sobre cómo completarlo, con suerte no traerá problemas, pero si tienen dudas pregunten.