This book introduces the parallel and distributed approach to logic programming, examining existing models of distributed logic programming, and proposing an alternative framework for distributed logic programming using extended Petri nets. The hardwired realization of the Petri net based framework is presented in detail, and principles of mapping of a logic program on to the proposed framework are outlined. Finally, the book explores the scope of Petri net models in designing next-generation deductive database machines.
- ISBN10 6610700249
- ISBN13 9786610700240
- Publish Date 1 January 2006
- Publish Status Active
- Out of Print 9 February 2012
- Publish Country US
- Imprint Springer
- Format eBook
- Pages 302
- Language English