Shared memory execution of committed-choice languages

  • Jacob Levy
Session 3a: Concurrent Logic Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


We presents a framework for execution of Committed-choice Logic Programming languages on shared memory multiprocessors. Synchronization of exclusive access issues are explored.


Shared Memory Memory Location Computation Unit Status Word Memory Architecture 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Dongarra, A Comparative Study of Commercial MultiProcessors, to appear as ANL-MCS Technical Report, 1985.Google Scholar
  2. [2]
    E. Shapiro, A Subset of Concurrent Prolog and Its Interpreter, Technical Report TR-003, ICOT, Tokio, February 1983.Google Scholar
  3. [3]
    K.L. Clark and S. Gregory, PARLOG: a Parallel Logic Programming Language, Research Report DOC 84/15, Dept. of Computing, Imperial College, London, June 1984.Google Scholar
  4. [4]
    K. Ueda, Guarded Horn Clauses, Technical Report TR-103, ICOT, Tokio, June 1985.Google Scholar
  5. [5]
    J. Levy, N. Friedmann and E. Shapiro, Concurrent Prolog — Two New Implementation Schemes, to appear as Weizmann Institute Technical Report, 1985.Google Scholar
  6. [6]
    J. Levy, A GHC Abstract Machine and Instruction Set, Weizmann Institute Technical Report CS85-11, August 1985.Google Scholar
  7. [7]
    S. Taylor, M. Safra, E. Shapiro, L. Hellerstein and U. Bar-on, A Distributed Unification Scheme for Flat Concurrent Prolog, to appear as Weizmann Technical Report, 1985.Google Scholar
  8. [8]
    C. Mierowski, Design and Implementation of Flat Concurrent Prolog, Weizmann Institute Technical Report CS84-21, 1984.Google Scholar
  9. [9]
    J. Levy, Shared-memory Execution of Committed-choice Languages, To appear as Weizmann Institute Technical Report.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Jacob Levy
    • 1
  1. 1.Department of Computer ScienceWeizmann Institute of ScienceRehovotIsrael

Personalised recommendations