Introducción a Lógico

Tarea

• Instalarse Prolog: https://www.pdep.com.ar/software/swi-prolog

• Teniendo en cuenta la base de conocimientos que vimos en clase, traer resuelto para la clase que viene lo siguiente:

  • Queremos saber si a Gus le gusta una obra. A Gus le gusta todo lo que escribió Asimov y sandman.
  • Queremos saber si una obra es rioplatense, que es cuando la nacionalidad de su artista es Uruguay o Argentina.
  • Ver si es un libro: cuando fue escrito pero no es cómic
• Comenzar a hacer individualmente el TP ¿Quién ayuda al Rasta? para dar los primeros pasos.

¿Qué vimos hoy?

• Introducción a lógico
• Hechos y reglas
• Universo cerrado
• Inversibilidad

Repasamos lo visto en el video que introducía los conceptos básicos del paradigma lógico. Luego hicimos ejercicios que encontrás acá.

Links útiles

• La presentación del video.
• Universo cerrado
• ¿Qué podemos encontrar en lógico?
• Conjunción y disyunción
• Consulta existencial

Podes ver nuestro github acá.

Y saber mas sobre nosotros acá