Programación declarativa (2008-09)
Este curso es una introducción a la programación declarativa en su doble aspecto: programación funcional y programación lógica.
Es una asignatura obligatoria de tercer curso de la Ingeniería informática de la Universidad de Sevilla.
Temas
En Temas de "Programación declarativa" (2008-09) se encuentran las transparencias de todo el curso en forma de libro.
1ª parte: Programación funcional
- Tema 1: Introducción a la programación funcional.
- Tema 2: Números y funciones.
- Tema 3: Estructuras de datos.
- Tema 4: Aplicaciones de programación funcional.
- Tema 5: Razonamiento sobre programas.
2ª parte: Programación lógica
Ejercicios resueltos
Prácticas
Exámenes
- 1ª examen de laboratorio:
- 2ª examen de laboratorio:
- Examen parcial:
- Examen final.
Bibliografía
Programación funcional con Haskell
- R. Bird. Introduction to functional programming using Haskell. (Prentice-Hall, 1998).
- H.C. Cunningham. Notes on functional programming with Haskell.
- H. Daume III et al. Yet another Haskell tutorial.
- J. Fokker. Programación funcional.
- J. Gallardo, P. Gutiérrez y B. Ruiz. Una introducción agradable a Haskell versión 98 (es una traducción de P. Hudak, J. Peterson y J. Fasel A Gentle Introduction to Haskell, Version 98).
- M. Nic. Haskell reference.
- B. Pope y A. van IJzendoorn. A tour of the Haskell Prelude (Basic functions).
- B.C. Ruiz, F. Gutiérrez, P. Guerrero, y J. Gallardo. Razonando con Haskell (Un curso sobre programación funcional). (Thompson, 2004).
- S. Thompson. Haskell: The craft of functional programming. (Addison-Wesley, 1999).
- A. van IJzendoorn. Tour of the Haskell syntax.
- The Haskell wikibook.
- H-99: Ninety-nine Haskell problems.
- Prelude.
- Haskell hierarchical libraries.
- Haskell Quiz
Programación lógica con Prolog
- J.A. Alonso. Introducción a la programación lógica con Prolog.
- R. Barták. On-line guide to Prolog programming.
- P. Blackburn, J. Bos y K. Striegnitz. Learn Prolog now!
- I. Bratko. Prolog programming for artificial intelligence (3 ed.). (Addison Wesley, 2001).
- W.F. Clocksin y C.S. Mellish. Programming in Prolog. (Springer, 2003).
- B. Demoen, P.-L. Nguyen, T. Schrijvers y R. Tronçon. The Prolog programming contests.
- J.R. Fisher. Prolog tutorial.
- W. Hett P-99: Ninety-nine Prolog problems.
- U. Nilsson y J. Maluszynski Logic, programming and Prolog.
- SWI-Prolog reference manual.
Sistemas
- Haskell:
- Prolog:
- SWI Prolog.
- SldDraw: Herramienta para representar árboles SLD.