• Introducción   |   Terminología   |   Inversibilidad   |   Conjunción y Disyunción   |   Negación
• También tienen disponible como material de lectura de estos temas el primer módulo de los apuntes de lógico que pueden encontrar acá
• Acá está el código que hicimos en clase: clase1.pl
• Y éste es el enunciado y minimachete de Lógico que entregamos.
  

Tarea

• 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 la primera guía de ejercicios, usando mumuki si prefieren),
• Hacer el TP1 de Lógico, cuyo enunciado está acá (en la guía de TP de Lógico), y se titula Asesinato en la Mansión Dreadbury (v1.5).
  Condiciones de entrega:
  
• Se hace y se prueba en pc.
• Es individual. 
• Se entrega apenas arranca la clase 2. 
• Se entrega la impresión del código fuente en hoja doble faz abrochada ó foliada, sin carátula. Nombre del alumno y numeración de hojas pueden estar escritas a mano.
• Las consultas sobre TP se hacen al tutor asignado (figura en la lista de alumnos). Su mail lo pueden sacar de Quienes Somos.