β Scribed by Bhattacharya A., Konar A., Mandal A.
No coin nor oath required. For personal study only.
The book Parallel and Distributed Logic Programming provides 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 hardwired realization of the Petri net based framework is presented in detail. Principles of mapping of a logic program on to the proposed framework are also outlined. Finally the book attempts to explore the scope of Petri net models in designing deductive database machines of the next generation.
π SIMILAR VOLUMES
We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: location-dependence=independence of names and movement of computation. We ΓΏrst deΓΏne the syntax and semantics of a modal linear logic that is suit
Intended for programmers familiar with C++, this book explains how the C++ standard library, algorithms, and container classes behave in distributed and parallel environments, and offers methods for extending the C++ language through class libraries and function libraries to accomplish distributed a