P-Prolog, a parallel logic programming language
著者
書誌事項
P-Prolog, a parallel logic programming language
(Series in computer science, v. 9)
World Scientific, c1987
大学図書館所蔵 件 / 全21件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 131-135
Includes index
内容説明・目次
内容説明
P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.
「Nielsen BookData」 より