Parallel And Distributed Logic Programming

Download

E-Book Overview

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.

E-Book Content

Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal Parallel and Distributed Logic Programming Studies in Computational Intelligence, Volume 24 Editor-in-chief Prof. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences  ul. Newelska 6 01-447 Warsaw Poland E-mail: [email protected] Further volumes of this series can be found on our homepage: springer.com Vol. 16. Yaochu Jin (Ed.) Vol. 8. Srikanta Patnaik, Lakhmi C. Jain, Spyros G. Tzafestas, Germano Resconi, Amit Konar (Eds.) Vol. 17. Te-Ming Huang, Vojislav Kecman, Ivica Kopriva Innovations in Robot Mobility and Control, Multi-Objective Machine Learning, 2006 ISBN 3-540-30676-5 Kernel Based Algorithms for Mining Huge Data Sets, 2006 2005 ISBN 3-540-26892-8 ISBN 3-540-31681-7 Vol. 9. Tsau Young Lin, Setsuo Ohsuga, Churn-Jung Liau, Xiaohua Hu (Eds.) Advances in Evolutionary Algorithms, 2006 Foundations and Novel Approaches in Data Mining, 2005 ISBN 3-540-28315-3 Vol. 10. Andrzej P. Wierzbicki, Yoshiteru Nakamo
You might also like

High Performance Data Mining
Authors: Guo , Grossman. (eds.)    209    0

Algorithms For Programmers: Ideas And Source Code
Authors: Arndt J.    247    0

Perl Programming For Biologists
Authors: D. Curtis Jamison    115    0

Multimedia Image And Video Processing
Authors: Ling Guan , Sun-Yuan Kung , Jan Larsen (editors)    119    0

Lectures On Image Processing
Authors: Morse B.S.    147    0

3d Structure From Images — Smile 2000: Second European Workshop On 3d Structure From Multiple Images Of Large-scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers
Authors: Paul Debevec (auth.) , Marc Pollefeys , Luc Van Gool , Andrew Zisserman , Andrew Fitzgibbon (eds.)    142    0

Visualization In Medicine. Theory, Algorithms, And Applications
Authors: Bernhard Preim    152    0

Object-oriented Programming Via Fortran 90-95
Authors: Ed Akin    144    0

Linear Programming: Introduction
Authors: Dantzig G. , Thapa M.    199    0

Physics With Maple: Computer Algebra For Mathematical Methods In Physics
Authors: Frank Y. Wang    179    0