Skip to main content
SpringerLink
Log in

An OR parallel Prolog model for distributed memory systems

  • Conference paper
  • First Online:
Progamming Language Implementation and Logic Programming (PLILP 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 714))

Abstract

This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distributed systems and a novel distributed scheduler is also proposed. WAM modifications to support the proposed model are very simple. The system has been implemented on a 16 processor multicomputer based on transputers. It has been obtained very good performance results with an overhead around 6% and a speed-up comparable to the most known multisequential models for shared memory systems.

This work was supported by the project CICYT-TIC 340/90

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ali, K. Karlsson, R. “The Muse Or-Parallel Prolog Model and its Performance”. NACLP 90. pp 757–776.

    Google Scholar 

  2. Baron, U. Ratcliffe, M. Syre, J. “The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results”. Proc. Int. Conf. on Fith Gen. Comp. Sys. 1988. ICOT 1988.

    Google Scholar 

  3. Ciepielewski, A. Haridi, S. “A formal model for OR parallel execution of logic programs”. IFIP 1983.

    Google Scholar 

  4. Conery, J.S. “AND Paralelism and Nondeterminism in Logic Programs”. New Generation Computing. 1985.

    Google Scholar 

  5. Kaesuk, P. “A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation”. The Computer Journal, Vol 34, No. 1. 1991.

    Google Scholar 

  6. Lusk, E. Warren, D. Haridi, S. “The Aurora Or-Parallel Prolog System”. University of Bristol. TR-90-07.

    Google Scholar 

  7. Warren, D.H.D. “An Abstract Prolog Instruction Set”. Technical Note 309, SRI International, 1983.

    Google Scholar 

  8. Warren, D.H.D. “Or-Parallel Execution Models of Prolog”, TAPSOFT '87, Springer Verlag, LNCS 250.

    Google Scholar 

  9. Warren, D.H.D. “The SRI-model for Or-Parallel Execution of Prolog — Abstract Design and Implementation Issues”. 1987 IEEE Int. Symp. in Logic Prog., San Francisco.

    Google Scholar 

  10. Zhang, K. Thomas, R. “DIALOG — A dataflow model for parallel execution of logic programs”. Future Generation Computer Systems. North Holland 1991.

    Google Scholar 

  11. Tick, E. “Parallel Logic Programming”. The MIT Press.1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpt. Lenguajes y Ciencias de la Computacion, Universidad de Malaga, Spain

    V. Benjumea & J. M. Troya

Authors
  1. V. Benjumea
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. M. Troya
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Bruynooghe Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benjumea, V., Troya, J.M. (1993). An OR parallel Prolog model for distributed memory systems. In: Bruynooghe, M., Penjam, J. (eds) Progamming Language Implementation and Logic Programming. PLILP 1993. Lecture Notes in Computer Science, vol 714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57186-8_86

Download citation

  • DOI: https://doi.org/10.1007/3-540-57186-8_86

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57186-5

  • Online ISBN: 978-3-540-47945-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation