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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Beer J., Giloi W. K.: “POPE — a parallel-operating Prolog engine” GMD — FIRST / TU Berlin, 1000 Berlin 12
Bratko Ivan: “PROLOG, Programming for Artificial Intelligence” Addison-Wesley, International Computer Science Series, 1986
Clocksin W. F., Mellish C. S.: “Programming in PROLOG” 2nd edition, Springer Verlag, New York, 1984
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
Engels Johannes: “Logikprogrammierung für Superrechner” Research Report 870104, Institut für Informatik, Universität Bonn, D5300 Bonn 1, Germany
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
Kluge Werner E.: “Cooperating Reduction Machines” IEEE Transactions on Computers, Vol. 32, No. 11, Nov. 83
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
Robinson J. A.: “A machine-oriented logic based on resolution principle” J. ACM 12 (1965), 23–41
Shapiro Ehud: “A subset of concurrent PROLOG and its interpreter” Technical Report, Weizmann Inst. of Science, Rehovot 76100, Israel
Takeuchi Akikazu, Furukawa Koichi: “Parallel logic programming languages” Third Int. Conf. on Logic Programming, LNCS 225, Springer 1986, pp. 242–254
Ueda K.: “Guarded Horn clauses” Tech. Report TR-103, ICOT (1985)
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
Yasuhara Hiroshi, Nitadori Kazuhiko: “ORBIT: a parallel computing model of PROLOG” New Generation Computing 2, 1984, pp. 277–288
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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