Clase 09 - Introducción a Lógico

publicado a la‎(s)‎ 29 may. 2014 13:51 por Mariana Matos   [ actualizado el 2 jun. 2014 18:53 ]
Hoy arrancamos con un nuevo paradigma: el paradigma Lógico que al igual que a Funcional lo podemos categorizar como declarativo (el motor se encarga de deducir si algo es verdadero o no, nosotros sólo declaramos verdades en nuestra base de conocimientos).
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:
?- quienAsesinoATiaAgatha(Quien).

Aviso: Hay un cambio en el cronograma, ya que el miércoles 11 no va a haber clases por las elecciones

Para la próxima clase lleven impreso este enunciado que vamos a usar para ver los temas nuevos:
TEG (Plan Táctico y Estratégico de la Guerra)
Comments