Tabla de contenidos

Una panorámica de la Programación Declarativa.

I FUNDAMENTOS.

Sistemas Formales, lógica y Lenguajes de Programación.
De la Demostración Automática a la Programación Lógica (I): introducción y métodos semánticos
De la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson.


II PROGRAMACIÓN LÓGICA

Programación Lógica
El lenguaje Prolog: Introducción.
El lenguaje Prolog: Aspectos Avanzados


III APLICACIONES de la PROGRAMACIÓN LÓGICA.

Representación del conocimiento.
Resolución de problemas
Programación Lógica y Tecnología Software Rigurosa

A.Fundamentos y Notaciones matemáticas.