Or-parallel execution models of Prolog

  • David H. D. Warren
Session AS3
Part of the Lecture Notes in Computer Science book series (LNCS, volume 250)


  1. [1]
    R. Butler, E. L. Lusk, R. Olson, and R. A. Overbeek. ANLWAM: A Parallel Implementation of the Warren Abstract Machine. Internal Report, Argonne National Laboratory, U.S.A., 1986.Google Scholar
  2. [2]
    J. Gabriel, T. Lindholm, E. L. Lusk, and R. A. Overbeek. A Tutorial on the Warren Abstract Machine. Technical Report ANL-84-84, Argonne National Laboratory, Argonne, Illinois, Oct. 1984.Google Scholar
  3. [3]
    T. Miyazaki, A. Takeuchi, and T. Chikayama. A sequential implementation of Concurrent Prolog based on the shallow binding scheme. In The 1985 International Symposium on Logic Programming, pages 110–118, IEEE, 1985.Google Scholar
  4. [4]
    R. A. Overbeek, J. Gabriel, T. Lindholm, and E. L. Lusk. Prolog on Multiprocessors. Internal Report, Argonne National Laboratory, U.S.A., 1985.Google Scholar
  5. [5]
    K. Shen. An Investigation of the Argonne Model of Or-Parallel Prolog. Master's thesis, University of Manchester, 1986.Google Scholar
  6. [6]
    J. Syre and H. Westphal. A Review of Parallel Models for Logic Programming Languages. Technical Report CA-07, ECRC, 1985.Google Scholar
  7. [7]
    E. Tick and D. H. D. Warren. Towards a pipelined Prolog processor. New Generation Computing, 2(4):323–345, 1984.Google Scholar
  8. [8]
    D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983.Google Scholar
  9. [9]
    D. S. Warren. Efficient Prolog memory management for flexible control strategies. In The 1984 International Symposium on Logic Programming, pages 198–202, IEEE, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • David H. D. Warren
    • 1
  1. 1.Department of Computer ScienceUniversity of ManchesterManchester

Personalised recommendations