Implementations of distributed Prolog
著者
書誌事項
Implementations of distributed Prolog
(Wiley series in parallel computing)(Wiley professional computing)
Wiley, c1992
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [429]-457) and index
内容説明・目次
内容説明
An introduction to the OR-parallel implementation of PROLOG on distributed memory multicomputers, which also surveys distinct AND-parallel and AND/OR-parallel schemes and process oriented PROLOG languages.
目次
- Part 1 OR-parallel implementations of PROLOG: OR-parallel logic computational models, S.A. Delgado-Rannauro
- parallel PROLOG on a scalable multiprocessor, S. Raina et al
- opera-OR-parallel PROLOG system on supermode, J. Briat et al
- a distributed interpreter for inherent AND/OR parallelism, M. Avvenuti et al
- distributed data driven PROLOG abstract machine, P. Kacsuk. Part 2 AND-and AND/OR-parallel implementations of PROLOG: restricted AND-and AND/OR-parallel logic computational models, S.A. Delgado-Rannauro
- an AND-parallel distributed PROLOG executor, A. Verden and H. Glaser
- the Opal machine, J.S. Conery
- the reduce-OR process model for parallel logic programming on non-shared memory machines, L.V. Kale and B. Ramkumar
- an actor-oriented computer for logic and its applications, C. Percebois et al. Part 3 Committed choice languages: stream AND-parallel logic computational models, S.A. Delgado-Rannauro
- logical Occam, D. Cohen et al
- a distributed implementation of flat concurrent PROLOG on multi-transputer environments, U. Glasser
- distributed implementation of KL1 on the multi-PSI, K. Nakajima. Part 4 Process oriented PROLOG languages: Delta PROLOG - a distributed logic programming language - its implementation on distributed memory multiprocessors, J.C. Cunha et al
- CS-PROLOG - a communicating sequential PROLOG, S. Ferenczi and I. Futo
- PMS-PROLOG - a distributed, coarse-grain-parallel PROLOG with processes, modules and streams, M.J. Wise et al
- Padmavati PROLOG, N. de Joybert and J. Monot.
「Nielsen BookData」 より