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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Conery, J. S. and Kibler, D. F.: “Parallel interpretation of Logic Programs,” Proc. of the 1981 Conference on Functional Programming Languages and Computer Programming Languages and Computer Architecture (1981) 163–167.
Furukawa, K., Nitta, K. and Matsumoto, Y.: “Prolog Interpreter based on Concurrent Programming,” Proc. of the First International Logic Programming Conference (Marseille, France) (1982) 38–44.
Goto, A., Aida, H., Maruyama, T., Yuhara, M., Tanaka, H. and Moto-oka, T.: “A Highly Parallel Inference Engine: PIE,” Proc. of the Logic Programming Conference (ICOT) (1983) [in Japanese].
Kasif, S., Kohli, M. and Minker, J.: “PRISM—A Parallel Inference System for Problem Solving,” Proc. Logic Programming Workshop 83 (Portugal) (1983).
Umeyama, S. and Tamura, K.: “A Parallel Execution Model of Logic Programs,” Proc. of 10th annual Symposium on Computer Architecture (1983).
Warren, D.: “Implementing PROLOG—Compiling Predicate Logic Programs,” D. A. I. Research Report,39 (1977).
Yasuhara, H. and Komatsu, E.: “OR-Parallel Model: ORBIT,” Proc. of the Logic Programming Conference (ICOT) (1983) [in Japanese].
Author information
Authors and Affiliations
About this article
Cite this article
Yasuhara, H., Nitadori, K. ORBIT: A parallel computing model of Prolog. NGCO 2, 277–288 (1984). https://doi.org/10.1007/BF03037061
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037061