Programación Declarativa: Lógica y Restricciones
Materia: Inteligencia Artificial
Departamento: Inteligencia Artificial
Créditos ECTS: 3
Semestre: 6
Carácter: Básica
Resultados de aprendizaje
- Conocer los fundamentos de la programación lógica y sus campos de aplicación
- Modelizar declarativamente la solución a un problema y expresarlo elegantemente con un programa lógico eficiente.
Breve descripción de los contenidos
- Programación lógica y resolución de restricciones.
- Lenguajes declarativos lógicos, ISO-Prolog.
Bibliografía
- The Art of Prolog' (Second edition), Sterling & Shapiro, MIT Press, 1994.
- Programming with Constraints: An Introduction, Marriott & Stuckey, MIT Press, 1998.
- Constraint Satisfaction in L.P., P. Van Hentenryck, 1989, MIT Press.