Ilustración de portada extraída de: Nilsson, U. (1991). Abstract Machines.

Contenido: p. v a viii.

Apéndice A, notas bibliográficas: p. 241 a 250.

Apéndice B, teoría básica de conjuntos: p. 251 a 252.

Apéndice C, respuestas a ejercicios seleccionados: p. 253 a 261.

Índice: p. 277 a 282.

Bibliografía: p. 263 a 275.

I. Foundations
1. Preliminaries 2. Definite logic programs 3. SLD-Resolution 4. Negation in logic programming 5. Towards prolog: cut and arithmetic.

II. Programming in logic
6. Logic and databases 7. Programming with recursive data structures 8. Amalgamating object- and meta-language 9. Logic and expert systems 10. Logic and grammars 11. Searching in a state-space

III. Alternative logic programming schemes
12. Logic programming and concurrency 13. Logic programs with equality 14. Constraint logic programming 15. Query-answering in deductive databases.

Appendix
A. Bibliographical notes B. Basic set theory C. Answers to selected exercises.

Es muy recomendable esta introducción a la programación lógica, con una cobertura amplia y precisa de temas establecidos ya como de las últimas tendencias. Proporciona una descripción exhaustiva de los fundamentos teóricos, enfatizando también las cuestiones prácticas.
Una introducción tanto a la programación lógica como a la programación en Prolog, el libro cubre técnicas de programación elementales, así como algunas áreas de aplicación de Prolog. Un tema central es el uso de Prologs para una programación lógica más eficiente. Los autores revisan una serie de extensiones del paradigma de programación lógica tradicional, incluída la programación lógica concurrente, la programación lógica con igualdad, la programación lógica con restricciones y el procesamiento de consultas.
Esta nueva edición describe los principales nuevos desarrollos en un campo en continua evolución, presentando enfoques alternativos a la negación en la programación lógica, avances importantes en el área de las limitaciones, y nuevos temas como la optimización de consultas en bases de datos deductivas.

Para estudiantes universitarios de informática.

En inglés.