Programación Lógica y Funcional

Unidad Temas Subtemas
1 Conceptos Fundamentales.

1.1. Estilos de programación.
1.2. Evaluación de expresiones.
1.3. Definición de funciones.
1.4. Disciplina de tipos.
1.5. Tipos de datos.
2 Programación Funcional.
 2.1. El tipo de datos.
2.2. Funciones.
2.3. Intervalos.
2.4. Operadores.
2.5. Aplicaciones de las listas.
2.6. Árboles.
3 Evaluación perezosa.

3.1. La estrategia de evaluación perezosa.
3.2. Técnicas de programación funcional perezosa.

4 Fundamentos de la
programación lógica. 		4.1. Repaso de la lógica de primer orden.
4.2. Unificación y resolución.
4.3. Cláusulas de Horn. Resolución SLD.
4.4. Programación lógica con cláusulas de Horn.
4.5. Semántica de los programas lógicos.
4.6. Representación clausada del conocimiento.
4.7. Consulta de una base de cláusulas
4.8. Espacios de búsqueda.
4.9. Programación lógica con números, listas y árboles.
4.10. Control de búsqueda en programas lógicos
4.11. Manipulación de términos. Predicados metalógicos.

Referencias Bibliográficas