Paradigma Lógico

1 - Introducción

Herramientas básicos de Logico

Prolog - Mumuki - VSC



Hechos, reglas y consultas


Módulo 1: Predicados. Individuos. Consultas. Universo Cerrado.

Módulo 2: Variables. Consultas Existenciales. Reglas simples y compuestas.

Negación

Predicados con varias clausulas


Módulo 4: Predicados de orden superior. Not


Ejercicios: Buen ingeniero - Invitar a salir


2 - Inversibilidad

Repaso

Resolución ejercicio "Muerte en la mansión Dreadbury"



Recopilación de soluciones varias


Inversibilidad




Módulo 2: Inversibilidad.



3 - Cuantificación

Forall


Ejemplo de clase


Módulo 4: Predicados de orden superior. forall

4 - Integración de conceptos

Repaso


Código de los ejemplos de clase

Presidentes

Camboya