Programación Lógica Visual

Nombre: Programación Lógica Visual
Semestre: 3B
Codigo: PLV
Creditos: 6 (3 Teoría + 3 Prácticas)
Profesor: María Alpuente
Co-Prerrequisitos (recomendados): ninguno

Objetivos

El objetivo global de la asignatura es introducir tres paradigmas de programación avanzados: la programación lógica, la programación visual y la programación con objetos. Este objetivo general se concreta en: aprender a leer programas con un significado declarativo en diferentes lógicas, entender los mecanismos computacionales asociados a diferentes estilos de programación declarativa y aprender a programar eficientemente en un lenguaje representativo de estos estilos. En el laboratorio se trabajará con un lenguaje lógico con facilidades para desarrollar aplicaciones GUI, como servidores y agentes o arañas inteligentes (Visual Prolog o similar).

Temario

1. Lógica y programación lógica

2. Programación Lógica
   • Lógica de cláusulas de Horn
   • El lenguaje Prolog
   • Programación eficiente en Prolog

3. Programación Visual
   • Programación Visual
   • El lenguaje Visual Prolog
   • Programación eficiente en Visual Prolog

4. Programación Lógica Orientada a Objetos
   • Logica y objetos
   • Fundamentos de la programacion logica orientada a objetos
   • Un lenguaje lógico ++

Evaluación La calificación de la asignatura viene determinada por:

• 70 % Examen
• 30 % Prácticas de Laboratorio.
  

Bibliografia

• K. R.. Apt. From Logic Programming to Prolog. Prentice Hall. 1997.
• C. S. Clocksin, C. W. Mellish. Programacion en Prolog. Gustavo Gili. 1988.
• J. Lloyd. Foundations of Logic Programming. Springer-Verlag. 1987.
• L. Sterling, E. Shapiro. The Art of Prolog. MIT Press. 1986.