Una panorámica de la programación, sistema de formales, lógica y lenguajes de programación, de la demostración automática a la programación lógica; De la demostración automática a la programación lógica II, el principio de resolución de Robinson; Programación; El lenguaje Prolog; El lenguaje Prolog aspecto Avanzados; Aplicación de la Programación Lógica; Resolución Programación Lógica y Tecnología Software Rigurosa; Fundamento y Notaciones Matemáticas