Clase 2 - L - Aritmética, Negación e Inversibilidad

Fecha de publicación: 04-may-2016 20:32:04

Vamos arrancando, despacio pero a paso firme, a meternos dentro del paradigma lógico.

Estuvimos repasando los ejercicios que había de tarea, donde aparecían nuevos conceptos que fuimos bajando a tierra:

• El predicado is/2 el cual solamente debe usarse para resolver cuentas matemáticas.
• Un nuevo predicado not/1 que sirve para negar alguna consulta. Recibe por parámetro otra cláusula, lo cual lo convierte en un predicado de orden superior, e invierte su valor de verdad.
• Vimos lo que es la inversibilidad, el tema groso del paradigma. Básicamente, la capacidad de un predicado para resolver consultas existenciales en base a un parámetro. Además estuvimos jugando un poco con los predicados conocidos y vimos que los operadores (>/2, =</2, \=/2) no son inversibles. El not/1 tiene graves problemas de inversibilidad, que se resuelven generando individuos previamente para que las variables queden ligadas. Y hay predicados que son inversibles para algunos parámetros pero no para otros, como el is/2 y el between/3.

También estuvimos comparando los distintos paradigmas de programación, qué elementos, ideas, y teorías tienen en común y no, en base a los lenguajes que estuvieron usando. Pueden ver algo de lo charlado sobre eso en los resúmenes de clase.

Al igual que para repasar los temas mencionados anteriormente.

Dejo adjunto el archivo con el que estuvimos trabajando en clase,

Queda como tarea para la clase que viene el TP 1: Show Max. No cuelguen con eso que, por lo general, los primeros pasos con Prolog cuestan hasta que le agarremos la onda.

Además, ya están en condiciones de resolver las guía 3 y guía 4 de Mumuki!

Hasta el Lunes que viene!