Ir al contenido

Inicio
ETSIINF en Twitter ETSIINF en Facebook
Inicio > Estudios > Grado en Matemáticas e Informática > Asignaturas del Plan de Estudios > Programación Declarativa Lógica y Restricciones

Programación Declarativa: Lógica y Restricciones

Materia: Inteligencia Artificial
Departamento: Inteligencia Artificial
Créditos ECTS: 3
Semestre: 6
Carácter: Básica

Resultados de aprendizaje

Breve descripción de los contenidos

  1. Programación lógica y resolución de restricciones.
  2. Lenguajes declarativos lógicos, ISO-Prolog.

Bibliografía

  1. The Art of Prolog' (Second edition), Sterling & Shapiro, MIT Press, 1994.
  2. Programming with Constraints: An Introduction, Marriott & Stuckey, MIT Press, 1998.
  3. Constraint Satisfaction in L.P., P. Van Hentenryck, 1989, MIT Press.