Curso 2016/2017 Curso 3º Primer Cuatrimestre Créditos de Teoría

Departamento de Ciencias de la Computación e Inteligencia Artificial
Universidad de Granada
Escuela Técnica Superior de Ingenierías Informática y de Telecomunicación.
c/. Daniel Saucedo Aranda, s/n 18071 Granada España
Ingeniería Informática
Programación Declarativa (Extinta)
Curso 2016/2017
Curso 3º Primer Cuatrimestre
Créditos de Teoría: 0 Créditos de Prácticas 0
PROGRAMA DE TEORÍA
Módulo I Unidad temática I: Prolog.
* Introducción histórica al Prolog.
* Fundamento lógico del Prolog.
* Estructuras de Datos en Prolog.
* Búsqueda de Soluciones en Prolog.
* Recursividad en Prolog
* Control de Flujo en Prolog
* Construcción y Descomposición de Términos
* Operadores de Prolog
* Entrada y Salida
* Predicados Avanzados
Módulo II Unidad temática III: El lenguaje LISP
* Introducción histórica al lenguaje LISP
* Fundamento de LISP. Cálculo lambda
* Primitivas Básicas del LISP
* Definiciones, Predicados y Condicionales
* Recursión e Iteración
* Asociación de Listas, Propiedades y Abstracción de Datos
* Definición Usando Lambda
* Entrada y Salida
PROGRAMA DE PRÁCTICAS
Todas las prácticas se desarrollarán en las aulas de prácticas.
Practicas de PROLOG.
1) Introducción , algoritmo de unificación.
2) funcion pertenece y encadena.
3) Recursión.
4) Control de flujo en PROLOG.
5) Bases de datos predicados básicos.
6) Manejo de bases de datos.
7) Entrada/Salida manejo de ficheros.
Se realizara alguna práctica elemental de LISP dependiendo del tiempo disponible.
BIBLIOGRAFÍA
* Clocksin, W.F. & Mellish, C.S. Programing in Prolog. Springer Verlag 1994.
* Bratko, I. Prolog Programming for Artificial Intelligence. Addison-Wesley 1990.
* Naish, L. Negation and Control in Prolog. Springer Verlang 1986.
* Berk, A. Prolog Programación y Aplicaciones en Inteligencia Artificial. Anaya Multimedia 1985
* Winston H.P., Horn: LISP (3.ed.) Addison Wesley 1991
* Stark R.W.: LISP, Lore and Logic. Springer Verlag. 1989
* Berk A.A.:LISP, el lenguaje de la Inteligencia Artificial. Anaya Multimedia, 1985
* Siklossy L.: Let's Talk Lisp. Prentice Hall 1976
* Queinnec C. Programación en LISP. Paraninfo 1987
MÉTODO DE EVALUACIÓN
La evaluación se realizará mediante un examen al final del cuatrimestre.
En la convocatoria de febrero se hara un examen escrito de valor 8 puntos (teoría)
y un examen oral de valor 2 puntos (examen de prácticas en las aulas de prácticas).
En la convocatoria de septiembre sólo se hace un examen escrito por valor de 10 puntos donde se tiene en cuenta prácticas y teoría.
En los examenes escritos la proporcion de PROLOG-LISP sera del 75% -25% con indepencia de la convocatoria ya sea febrero o septiembre.
La duración de los examenes será de 1 hora y 30 minutos.
No se guardan las partes de teoría y prácticas por separado entre convocatorias de un mismo año ni entre años.
Departamento de Ciencias de la Computación e Inteligencia Artificial
Página 1/1