Clase 10: Cuantificación Universal

Predicados de alto orden: not y forall

Fecha: 23/06/2022

Materiales que dan soporte a los temas de hoy

Grabación de la clase (link en Discord)
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)
- Video 17' Testing en Prolog

Tarea obligatoria para la clase que viene

TP Individual 2 de Lógico, en PC, usando SWI.Prolog con tests. Enunciado acá y la tarea con el repo acá.