Ebook: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines
- Tags: Appl.Mathematics/Computational Methods of Engineering, Artificial Intelligence (incl. Robotics)
- Series: Studies in Computational Intelligence 24
- Year: 2006
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.
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.
Content:
Front Matter....Pages I-XIII
An Introduction to Logic Programming....Pages 1-55
Parallel and Distributed Models for Logic Programming — A Review....Pages 57-105
The Petri Net Model — A New Approach....Pages 107-175
Realization of a Parallel Architecture for the Petri Net Model....Pages 177-210
Parsing and Task Assignment on to the Proposed Parallel Architecture....Pages 211-228
Logic Programming in Database Applications....Pages 229-258
Back Matter....Pages 259-291
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.
Content:
Front Matter....Pages I-XIII
An Introduction to Logic Programming....Pages 1-55
Parallel and Distributed Models for Logic Programming — A Review....Pages 57-105
The Petri Net Model — A New Approach....Pages 107-175
Realization of a Parallel Architecture for the Petri Net Model....Pages 177-210
Parsing and Task Assignment on to the Proposed Parallel Architecture....Pages 211-228
Logic Programming in Database Applications....Pages 229-258
Back Matter....Pages 259-291
....