Hoy arrancamos con un nuevo paradigma: el paradigma Lógico que al igual que a Funcional lo podemos categorizar como declarativo.
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). |
Cursos > Cursadas Anteriores > 2014 > Noc-1erCuatrimestral > Bitacora cuatrimestral 1C 2014 >