Programación Logica y Funcional
UNIDAD I 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.
UNIDAD II 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. Arboles.
UNIDAD III EVALUACIÓN PEREZOSA
​
3.1. La estrategia de evaluación perezosa.
3.2.Técnicas de programación funcional perezosa
UNIDAD IV FUNDAMENTOS DE LA PROGRAMACIÓN LOGICA
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