DLP : a language for distributed logic programming : design, semantics, and implementation
著者
書誌事項
DLP : a language for distributed logic programming : design, semantics, and implementation
(Wiley series in parallel computing)
J. Wiley, c1992
大学図書館所蔵 件 / 全16件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 299-313) and index
"Wiley professional computing"
内容説明・目次
内容説明
This text introduces the distributed logic programming language DLP. Distributed logic programming combines logic programming, object-oriented programming and parallelism. A distinguishing feature of DLP with respect to other proposals is the support for distributed backtracking over the results of a rendezvous between objects. A leading interest behind this work has been the question of parallelism in expert system reasoning. Distributed logic programming is a suitable vehicle for the implementation of distributed knowledge-based systems, including expert systems, and systems for distributed problem solving. The complete trajectory of the development of an experimental programming language is covered, paying attention to the design, the semantics and implementation. The text also introduces a multi-paradigm programming language for the implementation of distributed knowledge-based systems by means of small to medium-size examples.
目次
- Part 1 Design: paradigms of programming
- extending prologue to a parallel object oriented language
- object oriented modelling and distributed problem solving
- design perspectives. Part 2 Semantics: process creation and communication in the presence of backtracking
- an abstract version of DLP and its operational semantics
- comparative semantics for DLP. Part 3 Implementation: an implementation model for DLP
- deriving a prologue interpreter
- the implementation of the prototype
- conclusions and future work.
「Nielsen BookData」 より