Paradigma Lógico

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

Repaso

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

Recopilación de soluciones varias

Inversibilidad

Módulo 2: Inversibilidad.

Forall

Ejemplo de clase

Módulo 4: Predicados de orden superior. forall

Repaso

Código de los ejemplos de clase

Presidentes

Camboya