Parallel and Distributed Logic Programming : Towards the Design of a Framework for the Next Generation Database Machines

Povides a clear introduction to parallel and distributed approach to logic programming. It examines the existing models of distributed logic programming, analyses the pros and cons of these models, and proposes an alternative framework for distributed logic programming using extended Petri nets. The book attempts to explore the scope of Petri net models in designing deductive database machines of the next generation.