Download CC51I Programación Lógica - U

CC51I Programación Lógica
10 UD
Prof. Claudio Gutiérrez
Otoño – 2000
Requisitos:
CC40A, CC41A
Aunque los lenguajes de programación lógicos tienen aplicaciones más
restringidas que lenguajes como C, JAVA, Fortran, etc. Su filosofía,
especialmente el ideal (¿utopía?) de la semántica bien definida, sigue
inspirando el diseño de lenguajes de programación.
El curso estudia lenguajes de programación declarativos basados en
sistemas de lógica. Su objetivo es familiarizar al estudiante con el estilo,
alcances y limitaciones de tales lenguajes y conocer algunas aplicaciones
reales.
No se requieren conocimientos previos de lógica. El curso se concentra en
los aspectos de desarrollo y aplicaciones más que en los fundamentos
lógicos e implementación. Se usará PROLOG como lenguaje de trabajo.
Programa
 Comparación de lenguajes declarativos y procedurales. Virtudes y
defectos.
 Del lenguaje natural a los lenguajes formalizados: sistemas de lógica
(proposicional, primer orden y orden superior, modelos, deducción).
 De las especificaciones formales a los programas: expresividad,
complejidad, fragmentos adecuados.
 El lenguaje PROLOG:
- sintaxis y tipos de datos.
- unificación y resolución.
- técnicas de programación
 Aplicaciones y extensiones del lenguaje PROLOG.
Evaluación
Controles (2) y tareas (5).