Book review: The Logical Foundations of Artificial Intelligence. by Michael R. Genesereth and Nils Nilsson (Morgan Kaufmann 1987)
Michael Peter Smith · ACM SIGART Bulletin · 1988
This book is an updated version of the author's Ph.D. dissertation[1]. In this book, the author presents an abstract model for parallel execution of logic programs and attempts to define a framework for implementing parallel interpreters. The author describes the research in three layers of abstraction: theory, operation, and implementation. At the theory level, the author discusses syntax, semantics, and control strategies for logic programming and Prolog. For the operation level, the author presents his AND/OR Process Model and an updated survey of related work. For the implementation level, he describes implementation techniques for interpreters based on the specification of the abstract model. The book is divided into seven chapters as follows: