Programacion Logica Y Funcional

Unidad 1 Conceptos Fundamentales Programacion Logica y Funcional.

1.1. Estilos de programacin.

1.2. Evaluacin de expresiones.

1.3. Definicin de funciones.

1.4. Disciplina de tipos.

1.5. Tipos de datos.

Unidad 2 Programacin 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 3 Evaluacin perezosa.

3.1. La estrategia de evaluacin perezosa.

3.2.Tcnicas de programacin funcional perezosa.

Unidad 4 Fundamentos de la programacin lgica.

4.1. Repaso de la lgica de primer orden.

4.2. Unificacin y resolucin.

4.3. Clusulas de Horn. Resolucin SLD.

4.4. Programacin lgica con clusulas de Horn.

4.5. Semntica de los programas lgicos.

4.6. Representacin clausada del conocimiento.

4.7. Consulta de una base de clusulas

4.8. Espacios de bsqueda.

4.9. Programacin lgica con nmeros listas y rboles.

4.10. Control de bsqueda en programas lgicos

4.11. Manipulacin de trminos.