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