Clase 12 - Cuantificadores Universales, Problemitas de inversibilidad

Fecha: 24/06/2021

Materiales que dan soporte a los temas de hoy

Google Meet En el link de siempre.
Las diapos de la clase
Repo Código de hoy
Mumuki Guías 3 y 4 de Mumuki
Apuntes
- Módulo 4(menos findall, que lo veremos más adelante)
- Anexo A: Testeo con PlUnit
Video 17' Testing en Prolog

Tarea obligatoria para la clase que viene

Cerrar la Kata 1 quienes no la entregaron.
Revisar la planificación

Tarea recomendada para la clase que viene

Guía Mumuki Guías 3 a 7 de Mumuki lógico:cubren los temas de hoy y algo de la clase que viene.