Parallel and distributed logic programming : towards the design of a framework for the next generation database machines
著者
書誌事項
Parallel and distributed logic programming : towards the design of a framework for the next generation database machines
(Studies in computational intelligence, v. 24)
Springer-Verlag, c2006
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より