Programación declarativa (2009-10)

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

Prácticas

Exámenes

Libros con los temas y ejercicios resueltos

Bibliografía

Programación funcional con Haskell

Programación lógica con Prolog

Sistemas

Los sitios oficiales de los sistemas son los siguientes

Se pueden instalar los sistemas en Ubuntu con el gestor de paquetes Synaptic, buscando los paquetes emacs, emacs22 y haskell-mode. Además, copiar en el directorio del usuario el fichero de configuración de emacs.


José A. Alonso Jiménez
Sevilla, 28 de marzo del 2025
Licencia: Creative Commons.