Abstract
Or-parallelism and And- parallelism have often been considered as two distinct forms of parallelism with not much in common. The purpose of this paper is to highlight the inherently dual nature of the two forms of parallelism and the similarities that exist between them. The dualities and similarities observed are then exploited for gaining new insights into the design, implementation, and optimization of and- and or-parallel systems. The ideas developed in this paper are illustrated with the help of ACE system-a parallel Prolog system incorporating both and- and or-parallelism.
Chapter PDF
References
K.A.M. Ali and R. Karlsson. Scheduling Speculative Work in MUSE and Performance Results. Technical report, SICS, 1993.
P. Brand, S. Haridi, and D.H.D. Warren. Andorra Prolog-The Language and Application in Distributed Simulation. In Int'l Conf. on FGCS. Tokyo, Nov. 1988.
M. Carlsson et al. A Simplified Approach to the Implementation of And-Parallelism in an Or-Parallel Environment. ICLP, 1988.
M. Codish, E. Shapiro. Compiling Or-Parallelism into And-Parallelism. ICLP, 1986.
J. Crammond. The Abstract Machine and Implementation of Parallel Prolog. Research report, Dept. of Computing, Imperial College, July 1990.
J. Du Pond and H.J. Hernandez. Parallelization of Right Uniform Datalog Programs and of Chain Sirups. Journal of Computing and Information, 1(1), 1994.
S. Tsur S. Ganguly, A. Silberschatz. A Framework for the Parallel Processing of Datalog Queries. In Proc. of ACM SIGMOD Conf. on Manag. of Data, 1990.
G. Gupta. Multiprocessor Execution of Logic Programs. Kluwer Press, 1994.
G. Gupta, M. Hermenegildo, E. Pontelli, and V. Santos Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. In ICLP, MIT Press, 1994.
G. Gupta et al. Shared Paged Binding Arrays: Universal Data-structure for Parallel Logic Programming. NFS/ICOT workshop on Parallel Logic Progr., 1994.
M.Hermenegildo, F.Rossi. Non-Strict Independent And-Parallelism. In ICLP, 1990.
M.Hermenegildo. Independent And-Parallel Prolog and its Architecture. Kluwer, 1989.
M. Hermenegildo M. Carro. Backtracking families, unpublished manuscript, 1993.
L. Kale. Parallel Execution of Logic Programs: the REDUCE-OR Process Model. In ICLP, 1987.
E. Lusk and al. The Aurora Or-parallel Prolog System. NGC, 7(2,3), '90.
E. Pontelli, G. Gupta, and D. Tang. Determinacy Driven Optimizations of Parallel Prolog Implementations. Proc. of ICLP'95, MIT Press, 1995.
E.Pontelli, G.Gupta. Dependent And-Parallelism in Logic Programming. Internal Report, LLDAP, 1995.
E.Y. Shapiro, editor. Concurrent Prolog: Collected Papers. MIT Press, 1987.
K. Shen. Studies in And/Or Parallelism in Prolog. PhD thesis, 1992.
D. H. D. Warren. The Extended Andorra Model with Implicit Control. In Sverker Jansson, editor, Parallel Logic Programming Workshop, June 1990. SICS.
O. Wolfson and A. Ozeri. A New Paradigm for Parallel and Distributed Rule Processing. In SIGMOD Int'l Conf. on Manag. of Data. ACM, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pontelli, E., Gupta, G. (1995). On the duality between Or-parallelism and And-parallelism in logic programming. In: Haridi, S., Ali, K., Magnusson, P. (eds) EURO-PAR '95 Parallel Processing. Euro-Par 1995. Lecture Notes in Computer Science, vol 966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020454
Download citation
DOI: https://doi.org/10.1007/BFb0020454
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60247-7
Online ISBN: 978-3-540-44769-6
eBook Packages: Springer Book Archive