Clase 12 - Introducción al Paradigma Lógico

publicado a la‎(s)‎ 1 jul. 2019 5:34 por Mariana Matos

En esta clase arrancamos con el Paradigma Lógico de la mano del lenguaje Prolog.

Acá pueden encontrar una introducción al paradigma que sienta las bases de cómo trabajar, y cómo se resuelven con estas herramientas básicas la conjunción y disyunción. Hasta ahora trabajamos sólo con individuos simples.

Uno de los temas que introdujimos en esta clase es uno de los puntos fuertes de este paradigma y es el concepto de inversibilidad, lo cual permite hacer consultas con múltiples respuestas. Profundizaremos más adelante el tema de inversibilidad.

Resumen de nomenclatura <-- Repasar esto si no recordás a qué nos referimos al decir predicado, hecho, regla, cláusula, aridad, consulta, individuo, átomo...

Para profundizar y ejercitar

  • De la sección de apuntes: Módulos 1 y 2 de Lógico.
  • De Mumuki pueden trabajar con las primeras dos guías.
Comments