Advertisement

On the duality between Or-parallelism and And-parallelism in logic programming

  • Enrico Pontelli
  • Gopal Gupta
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 966)

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.

Keywords

Prolog And-parallelism Or-parallelism Optimizations 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    K.A.M. Ali and R. Karlsson. Scheduling Speculative Work in MUSE and Performance Results. Technical report, SICS, 1993.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    M. Carlsson et al. A Simplified Approach to the Implementation of And-Parallelism in an Or-Parallel Environment. ICLP, 1988.Google Scholar
  4. 4.
    M. Codish, E. Shapiro. Compiling Or-Parallelism into And-Parallelism. ICLP, 1986.Google Scholar
  5. 5.
    J. Crammond. The Abstract Machine and Implementation of Parallel Prolog. Research report, Dept. of Computing, Imperial College, July 1990.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    G. Gupta. Multiprocessor Execution of Logic Programs. Kluwer Press, 1994.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    G. Gupta et al. Shared Paged Binding Arrays: Universal Data-structure for Parallel Logic Programming. NFS/ICOT workshop on Parallel Logic Progr., 1994.Google Scholar
  11. 11.
    M.Hermenegildo, F.Rossi. Non-Strict Independent And-Parallelism. In ICLP, 1990.Google Scholar
  12. 12.
    M.Hermenegildo. Independent And-Parallel Prolog and its Architecture. Kluwer, 1989.Google Scholar
  13. 13.
    M. Hermenegildo M. Carro. Backtracking families, unpublished manuscript, 1993.Google Scholar
  14. 14.
    L. Kale. Parallel Execution of Logic Programs: the REDUCE-OR Process Model. In ICLP, 1987.Google Scholar
  15. 15.
    E. Lusk and al. The Aurora Or-parallel Prolog System. NGC, 7(2,3), '90.Google Scholar
  16. 16.
    E. Pontelli, G. Gupta, and D. Tang. Determinacy Driven Optimizations of Parallel Prolog Implementations. Proc. of ICLP'95, MIT Press, 1995.Google Scholar
  17. 17.
    E.Pontelli, G.Gupta. Dependent And-Parallelism in Logic Programming. Internal Report, LLDAP, 1995.Google Scholar
  18. 18.
    E.Y. Shapiro, editor. Concurrent Prolog: Collected Papers. MIT Press, 1987.Google Scholar
  19. 19.
    K. Shen. Studies in And/Or Parallelism in Prolog. PhD thesis, 1992.Google Scholar
  20. 20.
    D. H. D. Warren. The Extended Andorra Model with Implicit Control. In Sverker Jansson, editor, Parallel Logic Programming Workshop, June 1990. SICS.Google Scholar
  21. 21.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Enrico Pontelli
    • 1
  • Gopal Gupta
    • 1
  1. 1.Laboratory for Logic, Databases, and Advanced ProgrammingNew Mexico State UniversityUSA

Personalised recommendations