Programación declarativa (2007-08)
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" (2007-08) se encuentran las transparencias de todo el curso en forma de libro.
- 1ª parte: Programación funcional
- 2ª parte: Programación lógica
Ejercicios resueltos
Prácticas
- Práctica 1a en Haskell (22 de Octubre de 2007).
- Práctica 1b en Haskell (29 de Octubre de 2007).
- Práctica 2a en Haskell (5 de Noviembre de 2007).
- Práctica 2b en Haskell (12 de Noviembre de 2007).
- Práctica 3a en Prolog (3 de Diciembre de 2007).
- Práctica 3a en Haskell (3 de Diciembre de 2007).
- Práctica 3b en Prolog (10 de Diciembre de 2007).
- Práctica 3b en Haskell (10 de Diciembre de 2007).
- Práctica 4a en Prolog (17 de Diciembre de 2007).
- Práctica 4a en Haskell (17 de Diciembre de 2007).
- Práctica 4b en Prolog (7 de Enero de 2008).
- Práctica 4b en Haskell (7 de Enero de 2008).
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.
- Editores:
- Emacs 22.1.
- Notepad++