Clase 08 - Introducción al paradigma Lógico

publicado a la‎(s)‎ 30 abr. 2014 19:54 por Mariana Matos
Hoy arrancamos con un nuevo paradigma: el paradigma Lógico que al igual que a Funcional lo podemos categorizar como declarativo.
También tienen disponible como material de lectura de estos temas los primeros 3 módulos de los apuntes de lógico que pueden encontrar acá

Para la clase que viene tienen que bajarse SWI Prolog y, además de probar lo que hicimos en clase y practicar libremente con las guías de ejercicios (ya pueden hacer las 2 primeras guías de ejercicios), hacer en máquina un TP de conjunción, disyunción y negación.

El enunciado lo pueden encontrar en la guía 2 de lógico, es el último ejercicio (Ej. 3, sobre quién asesinó a Tía Agatha).

La consulta principal que deben poder responder con este programa es:
?- asesino(Persona, tiaAgatha).
Comments