Description
Springer Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
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._x000D_ Table of contents : - _x000D_
An Introduction to Logic Programming.- Parallel and Distributed Models for Logic Programming - A Review.- The Petri Net Model - A New Approach.- Realization of a Parallel Architecture for the Petri Net Model.- Parsing and Task Assignment on to the Proposed Parallel Architecture.- Logic Programming in Database Applications._x000D_