ORBIT: A parallel computing model of Prolog |
| |
Authors: | Hiroshi Yasuhara Kazuhiko Nitadori |
| |
Affiliation: | 1. Systems Laboratory, Oki Electric Industry Co., Ltd., 4-10-12 Shibaura, Minato-ku, 108, Tokyo, Japan
|
| |
Abstract: | This paper proposes a parallel processing model of the Prolog language. The model modifies Or-parallelism by introducing the “process bundle” as a candidate for simultaneous execution. The Process bundle is a subset of backtrack points stacked in depth-first execution. The process bundle includes one or more backtrack points, so it provides a longer process life cycle than the Or-parallel process. A process bundle is dispatched when an idle processor requests a job from an executing processor. The executing processor dispatches a message containing the full environment by which the idle processor can execute the process without any communication with other processors. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|