Capítulo 1 Una panorámica de la programación declarativa
Capítulo 2 Sistemas formales, lógica y lenguajes de programación
Capítulo 3 De la demostración automática a la programación lógica (I): Introducción y métodos semánticos
Capítulo 4 De la demostración automática a la programación lógica (II): El principio de resolución de Robinson
Capítulo 5 Programación lógica
Capítulo 6 El lenguaje Prolog: Introducción
Capítulo 7 El lenguaje Prolog: Aspectos avanzados
Capítulo 8 Representación del conocimiento
Capítulo 9 Resolución de problemas
Capítulo 10 Programación lógica y tecnología software rigurosa
Apéndice
Bibliografía
Indice