Luego de repasar los conceptos básicos del paradigma lógico vistos la clase anterior con el ejemplo del árbol genealógico de Los Simpsons (podrán encontrar el archivo acá abajo).
Estuvimos viendo:
- Recursividad en lógico: obteniendo todos los descendientes de una persona.
- Cómo negar una consulta usando el predicado not/1.
- Es el primer predicado de orden superior que vamos a usar. Repasamos ese concepto como la generalización de mandar lógica (una computación) por parámetro.
- Vimos el concepto de inversibilidad como atributo a un predicado. Decimos que un predicado es inversible para un parámetros cuando acepta consultas existenciales y tiene la capacidad de ligar valores.
- El not/1 tiene problemas de inversibilidad. Para solucionar es necesario tener un predicado generador de valores.
Luego comenzamos la guía de aritmética en Mumuki, sobre todo el ejercicio 7 que explica el uso del is/2.
La teoría se encuentra en los apuntes:
- Módulo 2: Terminamos de ver lo que faltaba sobre inversibilidad.
- Módulo 3: Por ahora solo el not/1.
- Módulo 5: Recursividad.
Queda como práctica en Mumuki:
También ya se encuentra publicado la primera parte del TP de lógico: Carrera universitaria. Tiene fecha de entrega el Viernes 12/5 por mail a su tutor.