Clase 09: Introducción al paradigma lógico

Fecha: 15/06/2022

Materiales que dan soporte a los temas de hoy

Grabación de la clase (link en Discord)
Las diapos de la clase
El código hecho en clase
Video 45' de Intro a Lógico de 2020 (diapos del video)
Mumuki Guías 1 y 2 de mumuki
Apuntes
- Módulo 1: Predicados. Individuos. Consultas. Universo Cerrado.
- Módulo 2: Variables. Consultas Existenciales. Reglas simples y compuestas. Inversibilidad.
- Anexo A: Testeo con PlUnit

Tarea obligatoria para la clase que viene

TP Individual 1 de Lógico, en Mumuki, ejercicios 3 y 6 de la guía 2

Tarea recomendada para la clase que viene

Guía de instalación de SWI-Prolog
Apunte Testing en Prolog con PLUnit
Opcional: Quien primero resuelva el desafío pirámide de números en prolog ¡respetando los conceptos de la materia! y lo envíe por privado a unx docente, gana desafío.