Unidad V · 6 horas

Programación lógica

Utilizar el paradigma lógico en la resolución de problemas reales, mediante la comprensión de sus conceptos fundamentales y su modelo computacional.

Subtemas de la unidad

Preliminar

5.0 Pensar en relacionesDe las funciones a los hechos y las reglas: cómo interpretar un problema como relaciones y convertirlo en un programa, comparado con Python.Apuntes Disponible 5.1 Conceptos fundamentalesHechos, reglas, consultas, variables lógicas, unificación, resolución y backtracking, con animaciones paso a paso.Apuntes Disponible 5.2 Sintaxis y modelo computacionalSintaxis de Prolog, modelo de ejecución, árbol de búsqueda, orden de cláusulas, corte y negación como fallo.Apuntes Disponible 5.3 Programación en un lenguaje lógicoListas, acumuladores, aritmética, árboles, generar y probar, findall y Datalog; la misma solución en Python, Haskell y Prolog.Apuntes Disponible

Cierre

Proy. Proyecto: un mismo problema en tres paradigmasInterprete un problema como relaciones, resuélvalo en Prolog, en Python orientado a objetos y en Haskell, verifique las tres versiones y redacte el estudio comparativo.Apuntes Disponible