Plan docente de "Programación declarativa" (99-00)
Contenido
- Técnicas de programación lógica.
- Introducción a Prolog.
- Sintaxis y semántica de los programas Prolog.
- Listas, operadores y aritmética.
- Estructuras.
- Control de búsqueda de solución.
- Entradas y salidas.
- Predicados predefinidos.
- Metodología y tecnología de la programación.
- Estructuras de datos.
- Aplicaciones de la la programación lógica:
- Resolución de problemas.
- Cálculo simbólico.
- Bases de datos,
- Ingeniería de la programación.
Metodología
La asignatura es cuatrimestral. Las 45 horas de clase se dividirán en 30 horas
de clases teóricas y 15 horas de clases prácticas.
Evaluación
La nota de la asignatura se obtendrá a partir de la del examen de prácticas
(30%) y la del examen teórico (70%).
Bibliografía
- Bratko, I.
Prolog Programming for Artificial Intelligence (2nd ed.)
(Addison-Wesley, 1990)
- Clocksin, W.F. y Mellish, C.S.
Programación en Prolog
(Gustavo Gili, 1987)
- Clocksin, W.F. y Mellish, C.S.
Programming in Prolog (Fourth Edition)
(Springer Verlag, 1994)
- Deransart, P.; Ed-Dbali, A. y Cervoni, L.
Prolog: The Standard
(Springer, 1996)
- Flach, P.
Simply Logical (Intelligent Reasoning by Example)
(John Wiley, 1994)
- O'Keefe, R.A.
The Craft of Prolog
(The MIT Press, 1990)
- Sterling,, L. y Shapiro, E.
The Art of Prolog (2nd editition)
(The MIT Press, 1994)
- Van Le, T.
Techniques of Prolog Programming
(John Wiley, 1993)