Clase 1 - Lógico - Conceptos básicos

Fecha de publicación: 03-may-2017 15:58:11

¡Dejamos atrás el paradigma funcional para adentrarnos en una nueva aventura dentro del paradigma lógico!

La programación lógica es una programación declarativa en la cual a partir de las verdades declaradas nos permite inferir otras verdades que se desprenden de ella.

• Vimos los conceptos básicos necesarios para comenzar a trabajar.
• Comparamos el concepto de unificación vs asignación de variables.
• Nos maravillamos con la capacidad que tiene el motor de devolver múltiples respuestas a una consulta existencial.
• Y vimos cómo hacer el y / ó lógico.

Después estuvimos aplicando los conceptos teóricos con la práctica de Mumuki usando el lenguaje SWI Prolog. El cual todos deberían tener instalado para la clase que viene.

Básicamente vimos

• Módulo 1: Predicados. Individuos. Consultas. Universo Cerrado.
• Módulo 2: Variables. Consultas existenciales. Reglas simples y compuestas.

Queda de práctica en Mumuki:

• Lección 1: Hechos y Reglas
• Lección 2: Práctica Hechos y Reglas

Además dejamos el código con el que estuvimos trabajando en clase.