Skip to main content
Log in

ORBIT: A parallel computing model of Prolog

  • Regular Papers
  • Published:
New Generation Computing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. 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.

  2. 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.

  3. 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].

  4. Kasif, S., Kohli, M. and Minker, J.: “PRISM—A Parallel Inference System for Problem Solving,” Proc. Logic Programming Workshop 83 (Portugal) (1983).

  5. Umeyama, S. and Tamura, K.: “A Parallel Execution Model of Logic Programs,” Proc. of 10th annual Symposium on Computer Architecture (1983).

  6. Warren, D.: “Implementing PROLOG—Compiling Predicate Logic Programs,” D. A. I. Research Report,39 (1977).

  7. Yasuhara, H. and Komatsu, E.: “OR-Parallel Model: ORBIT,” Proc. of the Logic Programming Conference (ICOT) (1983) [in Japanese].

Download references

Author information

Authors and Affiliations

Authors

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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037061

keywords

Navigation