TEMARIO DE PROGRAMACION DECLARATIVA.


  • Tema 1. Introducción.
  • Tema 2. Preliminares y fundamentos.

    • Parte I: programación lógica.

  • Tema 3. De la demostración automática a la programación lógica.
  • Tema 4. Programación lógica.
  • Tema 5. De la programación lógica a prolog.
  • Tema 6. Aplicaciones de la programación lógica.
    • Parte II: programación funcional.
  • Tema 7. Técnicas de la programación funcional.
  • Técnicas básicas.
  • Características avanzadas: abstracción y orden superior.
  • Tema 8. Modos de evaluación.


    •

    Practicas en laboratorio.

  • Parte I: programación lógica (lenguaje prolog).
  • Parte II: programación funcional (lenguaje haskell).

    •  

    BIBLIOGRAFIA.

    [Apt 97] K.R. Apt. From Logic Programming to Prolog. Prentice-Hall, 1997.

    [Bird00] R. Bird. Introducción a la Programación Funcional con Haskell. Prentice Hall, 2000.

    [Bratko90] Ivan Bratko. PROLOG, Programming for Artificial Intelligence (2ª Edición), Addison - Wesley, 1990.

    [Field 88] A. J. Field, P. G. Harrison. Functional Programming. Addison - Wesley , 1988.

    [Lloyd 87] J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987.

    [Kow 79] Kowalski, R., Logic for problem solving. North Holland, N. Y., 1979. (Pésima traducción castellana de J. A. Calle: Lógica, programación e Inteligencia Artificial. Diaz de Santos, Madrid, 1986)

    [Reade 89] C. Reade. Elements of Functional Programming.  Addison - Wesley, 1989.

    [RGGG 04] B, Ruiz, F. Gutiérrez, P. Guerrero & J.E. Gallardo. Razonando con Haskell: Un curso sobre programación funcional. Thomson-Paraninfo. 2004