Parallel and Distributed Logic Programming -

. .

Résumé :
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.

Sommaire:
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.