En esta clase arrancamos con el Paradigma Lógico.

Acá pueden encontrar una introducción al paradigma que sienta las bases de cómo trabajar, y cómo se resuelven con estas herramientas básicas la conjunción y disyunción. Hasta ahora trabajamos sólo con individuos simples, y vimos cómo se resuelven las operaciones aritméticas en Prolog.

Uno de los temas que introdujimos en esta clase es uno de los puntos fuertes de este paradigma y es el concepto de inversibilidad, lo cual permite hacer consultas con múltiples respuestas. Profundizaremos más adelante el tema de inversibilidad.

Resumen de nomenclatura.

Con lo visto pueden trabajar con las dos primeras guías de Mumuki.

Pueden profundizar también leyendo de la sección de apuntes: Módulos 1 y 2 de Lógico.