Clase 10 - Intro a Lógico

publicado a la‎(s)‎ 26 jun. 2020 11:35 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 (átomos y números).

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...

También se puede ampliar sobre estos temas con el Módulo 1 y el Módulo 2 de lógico.

Video de la clase

Clase 10 - Intro a Lógico


Para la semana que viene:

Resolver los ejercicios del TP1 que están disponibles en la Guía de TPs de Lógico (ejercicios 1 y 2 de esa guía).

Para ejercitar libremente:

Pueden profundizar los temas vistos con estas guías:
  • Guía 1: Hechos y Reglas
  • Guía 2: Práctica Hechos y Reglas
  • Guía 5: Aritmética
  • Guía 6: Inversibilidad
Tengan en cuenta que las guías de Mumuki introducen inversibilidad más tarde, por eso para la práctica de la guía 7 sólo están en condiciones de abordar hasta el ejercicio 10 inclusive.
Comments