Skip to main content
SpringerLink
Log in

Prolog implementations on parallel computers

  • Logic Programming
  • Conference paper
  • First Online:
Book cover CONPAR 90 — VAPP IV (VAPP 1990, CONPAR 1990)

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

  • 126 Accesses

Abstract

In this paper two research projects are overviewd. The first intended to explore the possibility of implementing Prolog on a typical SIMD machine, called Distributed Array Processor (DAP). The second project focusses on systolic arrays and proposes a special wavefront array for parallel unification in logic programming languages.

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. Hasegawa,R. Amamiya,M. Parallel Execution of Logic Programs based on Dataflow, Proc. of the ICOT Conference 1984, 507–516

    Google Scholar 

  2. Hausman,B. Ciepielewski,A. and Haridi,S. OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors, Proc. of the 1987 Symp. on Logic Programming, 1987, 69–79

    Google Scholar 

  3. Ito,N. et al, Data-flow based Execution Mechanism of Parallel and Concurrent Prolog, New Generation Computing, 1985, no. 3, 15–41

    Google Scholar 

  4. Kacsuk, P. and Bale, A. DAP Prolog: A Set-Oriented Approach to Prolog, The Computer Journal, vol. 30, no. 5, 1987, 393–403

    Google Scholar 

  5. Kacsuk,P. Execution Models of Prolog for Parallel Computers, Pitman Publishing/MIT Press, 1990

    Google Scholar 

  6. Shapiro,E.Y. Systolic Programming: A Paradigm of Parallel Processing, Proc. of Int. Conf. on Fifth Generation Comp. Systems, 1984, 458–470

    Google Scholar 

  7. Warren,D.H.D. The SRI model for OR-parallel Execution of Prolog-Abstract Design and Implementation Issues, Proc. of the 1987 Symp. on Logic Programming,1987, 92–102

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Parallel Computing, Queen Mary and Westfield College, Mile End Rd, E1 4NS, London, UK

    Peter Kacsuk

Authors
  1. Peter Kacsuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Helmar Burkhart

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kacsuk, P. (1990). Prolog implementations on parallel computers. In: Burkhart, H. (eds) CONPAR 90 — VAPP IV. VAPP CONPAR 1990 1990. Lecture Notes in Computer Science, vol 457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53065-7_97

Download citation

  • DOI: https://doi.org/10.1007/3-540-53065-7_97

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53065-7

  • Online ISBN: 978-3-540-46597-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation