Abstract
A fully distributed OR-parallel Prolog implementation scheme is shown in the paper based on the recomputation model. The main advantage of the recomputation model is that only little modification is needed to the sequential WAM engine in order to achieve a distributed Prolog system. The paper describes the new data structures of the parallel WAM engine and explains how the distributed scheduler can be organized. Finally a broadcast message based cavallier cut implementation scheme is shown in the paper.
The author visited ECRC in 1993 for three months supported by a CEC Fellowship grant (No. 12213) for Scientific and Technical Cooperation with Central and Eastern European Countries. The current work is a result of this three month research in ECRC.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Ali, K. A. M. A method for Implementing Cut in Parallel Execution of Prolog, Proc. of the 1987 Symp. on Logic Prog., 1987, 449–456
Ali, K. A. M. and Karlsson, R. The Muse Or-Parallel Prolog Model and ist Performance, Proc. of the 1990 North American Logic Prog. Conf., 1990, 757–776
Clocksin,W.F. Principles of DelPhi Parallel Inference Machine, The Computer Journal, vol. 30, no. 5, 1987, 386–392
Clocksin,W.F. and Alshawi,H. A Method for Efficiently Executing Horn Clause Programs Using Multiple Processors, New Gen. Comp., 5 (1988), 361–376
Clocksin,W.F. The DelPhi Multiprocessor Inference Machine, Proc. of the 4th UK Conf. on Logic Prog., 1992, 189–198
Hausman,B. Ciepielewski,A. and Calderwood,A. Cut and Side-Effects in OR-Parallel Prolog Proceedings of the 2nd Int. Conf. on Fifth Generation Comp. Sys., 1988, 831–840
Kacsuk,P. Cut Implementation in a Massively Parallel Prolog Environment, EUROMICRO Workshop on Parallel and Distributed Processing, 1993
Kacsuk,P. OR-Parallel ECLiPSe on Distributed Memory Systems, CEC PECO Fellowship Report, ECRC, 1993
P. Kacsuk and M.J.Wise (editors) Implementations of Distributed Prolog, John Wiley, 1992
Lusk,E. et al. The Aurora Or-Parallel Prolog System, Proceedings of the 2nd Int. Conf. on Fifth Generation Comp. Sys., 1988
Veron, A.et al. Why and How in the OR-Parallel ElipSys CLP System.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kacsuk, P. (1994). OR-parallel Prolog on distributed memory systems. In: Halatsis, C., Maritsas, D., Philokyprou, G., Theodoridis, S. (eds) PARLE'94 Parallel Architectures and Languages Europe. PARLE 1994. Lecture Notes in Computer Science, vol 817. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58184-7_122
Download citation
DOI: https://doi.org/10.1007/3-540-58184-7_122
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58184-0
Online ISBN: 978-3-540-48477-6
eBook Packages: Springer Book Archive