Abstract
Logic programs offer many opportunities for the exploitation of parallelism. But the parallel execution of a task incurs various overheads. This paper focuses on the issues relevant to parallelizing Prolog on shared-memory multiprocessors efficiently.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
B. Hausman, A. Ciepielewski and S. Haridi, OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. Proc. 1987 Int'l Symp. on Logic Programming, San Francisco, California IEEE, Sep. 1987, pp. 69–79.
D. DeGroot, Restracted AND-Parallelism and Side Effects. Proc. of The 4th Int'l Symp. on Logic Programming, IEEE Computer Society, 1987, pp. 80–89.
M. V. Hermengildo, An Abstract Prolog Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Program in Parallel. Ph. D thesis, The University of Texas at Austin, 1986.
D. H. D. Warren, The SRI Model for OR-Rarallel Execution of Prolog-Abstract Design and Implementation Issues. Proc. 1987 Int'l Symp. on Logic Programming, Califomia, IEEE, 1987, pp. 92–102.
J. S. Conery, The AND/OR Model for Parallel Interpretation of Logic Programs. Ph. D thesis, Dept. of Infor. and Comp. Sci., UC Irvine, 1983.
E. Lusk, D. H. D. Warren, S. Haridiet al., The Aurora OR-parallel PROLOG System. Proc. of Int'l Conf. on FGCS, Tokyo, Japan, Nov. 1988, pp. 819–830.
Sun Chengzheng and Tzu Yungui, The OR-forest Description for the Execution of Programs. Lec. Notes in Computer Sci., Proc. of the 3rd Int'l Conf. on Logic Programming, July, 1986.
Gao Yaoqing, Hu Shouren and Sun Chengzheng, Design and Implementation of a Parallel Abstract Machine Model RAP/LOP-WAM for Parallel Execution of Logic Programs. Proceedings of International Conference on Information Processing, Tokyo, Japan, Oct. 1990, pp. 355–362.
Huang Zhiyi and Hu Shouren, A Compiling Approach for Exploiting And-Parallelism in Parallel Logic Programming System. Proc. of the Int'l Conf. on Parallel Arch. and Languages, Europe, The Netherlands 1989.
D. H. Warren, An Abstract Prolog Instruction Set. Tech. Note 309, SRI Internatioonal AI Center, Computer Sciand Technol. Division, 1983.
G. Levi, Modelss, Unfolding Rules and Fixpoint Semantics. Proc. of 5th Int'l Conf. on Logic Programming. The MTT press, 1988, pp. 1649–1665.
Author information
Authors and Affiliations
Additional information
This research was partially supported by National Natural Science Foundation of China.
Rights and permissions
About this article
Cite this article
Gao, Y., Wang, D., Zheng, W. et al. Parallel execution of prolog on shared-memory multiprocessors. J. of Compt. Sci. & Technol. 8, 329–336 (1993). https://doi.org/10.1007/BF02939540
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02939540