Abstract
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:
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
