• Ejercicio de clase: este, del mundial..
• Solución propuesta: acá.
• Temas vistos:  functores,  cuantificación universal (el forall , recomendado este link), un poquito de inversibilidad, y de los problemas que tiene. También mencionamos backtracking.
• Apuntes: Módulo 3 y módulo 4, salvo la parte de listas.
• Mumuki: Lecciones de la 3 a la 9.

• Se recomienda hacer, del ejercicio del mundial, el punto 7, "promete" (que está resuelto en la solución provista ¡pero antes denle una pensada!) y el punto 11 (mejorDelGrupo).
• Si se marearon con functores y quieren una buena práctica de forall, muy recomendado el ejercicio del TEG.

Tarea 

• Primera entrega del TP Integrador del Paradigma Lógico.
• Enunciado acá: (Spoiler Alert) ...Porque el TP es largo y está lleno de spoilers....
• Se entrega en máquina el martes 26/06 por la noche.
• La tarea de Github Classroom es esta: https://classroom.github.com/g/hk2QrM5g
• La corrección es presencial, las dudas con copia a ambos tutores.