Clase 08 - Introducción al paradigma Lógico - Paradigmas de Programación

Cursos‎ > ‎Cursadas Anteriores‎ > ‎2014‎ > ‎Noc-1erCuatrimestral‎ > ‎Bitacora cuatrimestral 1C 2014‎ > ‎

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.

Introducción al paradigma lógico
Terminología del paradigma lógico y prolog
Inversibilidad en el paradigma lógico
Conjunción y Disyunción
Negación
Unificación y Pattern Matching
Aritmética

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).