Skip to main content

An Or-Parallel Logic Programming Machine for Non-shared Memory Architectures

  • Conference paper
Architektur und Betrieb von Rechensystemen

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 168))

  • 45 Accesses

Abstract

Or-parallelism is an adequate principle for implementing loosely coupled programs in logic programming. An extended Prolog inference engine able to deal with interrupts is developed. This engine is a basis for implementing or-parallel logic programming languages on computer architectures without shared memory. For this machine two different logic programming languages are sketched.

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

Access this chapter

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

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Beer J., Giloi W. K.: “POPE — a parallel-operating Prolog engine” GMD — FIRST / TU Berlin, 1000 Berlin 12

    Google Scholar 

  2. Bratko Ivan: “PROLOG, Programming for Artificial Intelligence” Addison-Wesley, International Computer Science Series, 1986

    Google Scholar 

  3. Clocksin W. F., Mellish C. S.: “Programming in PROLOG” 2nd edition, Springer Verlag, New York, 1984

    Google Scholar 

  4. Conery J. S., Kibler D. F.: “Parallel interpretation of logic programsion principle” Proc. 1981 Conf. on Functional Prog. Languages and Comp. Architectures, ACM, pp. 163–170

    Google Scholar 

  5. Engels Johannes: “Logikprogrammierung für Superrechner” Research Report 870104, Institut für Informatik, Universität Bonn, D5300 Bonn 1, Germany

    Google Scholar 

  6. Fuchi Kazuhiro, Furukawa Koichi: “The Role of Logic Programming in the 5th Generation Computer Project” Third Int. Conf. on Logic Progamming, LNCS 225, Springer 1986, pp. 1–24

    Google Scholar 

  7. Kluge Werner E.: “Cooperating Reduction Machines” IEEE Transactions on Computers, Vol. 32, No. 11, Nov. 83

    Google Scholar 

  8. Pereira L. M., Monteiro L., Cunha J., Aparicio J. N.: “Delta Prolog: A distributed backtracking extension with events” Third Int. Conf. on Logic Programming, LNCS 225, Springer 1986, pp. 69–83

    Google Scholar 

  9. Robinson J. A.: “A machine-oriented logic based on resolution principle” J. ACM 12 (1965), 23–41

    Article  MATH  Google Scholar 

  10. Shapiro Ehud: “A subset of concurrent PROLOG and its interpreter” Technical Report, Weizmann Inst. of Science, Rehovot 76100, Israel

    Google Scholar 

  11. Takeuchi Akikazu, Furukawa Koichi: “Parallel logic programming languages” Third Int. Conf. on Logic Programming, LNCS 225, Springer 1986, pp. 242–254

    Google Scholar 

  12. Ueda K.: “Guarded Horn clauses” Tech. Report TR-103, ICOT (1985)

    Google Scholar 

  13. Warren D.S., Ahamad M., Debray S.K., Kale L.V.: “Executing distributed PROLOG programs on a broadcast network” 1984 Int. Symp. on Logic Programming, IEEE No. 522, pp. 12–20

    Google Scholar 

  14. Yasuhara Hiroshi, Nitadori Kazuhiko: “ORBIT: a parallel computing model of PROLOG” New Generation Computing 2, 1984, pp. 277–288

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Engels, J. (1988). An Or-Parallel Logic Programming Machine for Non-shared Memory Architectures. In: Kastens, U., Rammig, F.J. (eds) Architektur und Betrieb von Rechensystemen. Informatik-Fachberichte, vol 168. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73451-9_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-73451-9_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18994-7

  • Online ISBN: 978-3-642-73451-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics