Plan docente de "Programación declarativa" (99-00)

Profesores

José Antonio Alonso Jiménez
Miguel Angel Gutiérrez Naranjo

Contenido

  1. Técnicas de programación lógica.
    • Introducción a Prolog.
    • Sintaxis y semántica de los programas Prolog.
    • Listas, operadores y aritmética.
    • Estructuras.
    • Control de búsqueda de solución.
    • Entradas y salidas.
    • Predicados predefinidos.
    • Metodología y tecnología de la programación.
    • Estructuras de datos.
  2. Aplicaciones de la la programación lógica:
    • Resolución de problemas.
    • Cálculo simbólico.
    • Bases de datos,
    • Ingeniería de la programación.

Metodología

La asignatura es cuatrimestral. Las 45 horas de clase se dividirán en 30 horas de clases teóricas y 15 horas de clases prácticas.

Evaluación

La nota de la asignatura se obtendrá a partir de la del examen de prácticas (30%) y la del examen teórico (70%).

Bibliografía