Skip to main content
SpringerLink
Log in
Book cover

Workshop on Parallel Logic Programming

PLP 1991: Parallel Execution of Logic Programs pp 159–172Cite as

Blackboard communication in Prolog

  • Conference paper
  • First Online:

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

Abstract

This paper describes a formal model for parallel programming languages, based on macroscopical coarse grained parallelism and shared blackboard communication. Examples of such languages are Multi-Prolog [3, 4], and Shared Prolog [1]. Both languages support a blackboard which acts as a common communication medium between processes. The blackboard communication is explicit, by means of dedicated communication primitives. The parallelism exploited is not based on the properties of the logic (and-, or-parallelism), but on the visible parallelism in the application. A program consists of a number of communicating sequential (Prolog) processes [2].

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brogi, A., and Ciancarini, P., “The Concurrent Language Shared Prolog”, ACM Transactions on Languages and Sytems, 13(1), 1991.

    Google Scholar 

  2. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W., “A Theory of Communicating Sequential Processes”, in Journal of the ACM, Vol. 31, no. 3, July 1984, pp. 560–599.

    Article  Google Scholar 

  3. De Bosschere, K., “Multi-Prolog, Another Approach for Parallelizing Prolog”, in Proceedings of Parallel Computing 89, Leiden, NL, august 1989.

    Google Scholar 

  4. De Bosschere, K., “Multi-Prolog, a Process-oriented Prolog”, in Proceedings of Software Engineering for Real-Time Systems, Cirencester, UK, September 1989.

    Google Scholar 

  5. Gelernter, D., “Generative Communication in Linda” in ACM Transactions on Programming Languages and Systems, 7(1), p. 80–112, jan 1985.

    Google Scholar 

  6. Hennessy, M., Algebraic Theory of Processes, in MIT Press Series The Foundations of Computing, Cambridge, Massachusetts, 1988.

    Google Scholar 

  7. Lloyd, J.W., Foundations of Logic Programming, Springer Verlag, Berlin, 1984.

    Google Scholar 

  8. Manna, Z., Mathematical Theory of Computation, McGraw Hill, New York, 1974.

    Google Scholar 

  9. Monteiro, L., Distributed Logic, A theory of distributed programming in logic, Report Computer Science Dept., University of Lisbon, Portugal, 1986.

    Google Scholar 

  10. Van de Snepscheut, J.L.A., Trace Theory and VLSI Design, Lecture Notes in Computer Science, no. 200, Springer-Verlag, Berlin, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Belgian National Fund for Scientific Research, Belgium

    Koenraad O. M. De Bosschere (Research Assistant)

  2. Electronics Laboratory, State University of Ghent, Belgium

    Koenraad O. M. De Bosschere (Research Assistant)

Authors
  1. Koenraad O. M. De Bosschere
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Beaumont G. Gupta

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Bosschere, K.O.M. (1991). Blackboard communication in Prolog. In: Beaumont, A., Gupta, G. (eds) Parallel Execution of Logic Programs. PLP 1991. Lecture Notes in Computer Science, vol 569. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55038-0_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-55038-0_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55038-9

  • Online ISBN: 978-3-540-46673-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation