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ánticosDe la Demostración Automática a la Programación Lógica (II): el principio de resolución de Robinson.II PROGRAMACIÓN LÓGICAProgramación LógicaEl lenguaje Prolog: Introducción.El lenguaje Prolog: Aspectos AvanzadosIII APLICACIONES de la PROGRAMACIÓN LÓGICA.Representación del conocimiento.Resolución de problemasProgramación Lógica y Tecnología Software RigurosaA.Fundamentos y Notaciones matemáticas.