Chapter PDF
References
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.
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.
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.
R. A. Overbeek, J. Gabriel, T. Lindholm, and E. L. Lusk. Prolog on Multiprocessors. Internal Report, Argonne National Laboratory, U.S.A., 1985.
K. Shen. An Investigation of the Argonne Model of Or-Parallel Prolog. Master's thesis, University of Manchester, 1986.
J. Syre and H. Westphal. A Review of Parallel Models for Logic Programming Languages. Technical Report CA-07, ECRC, 1985.
E. Tick and D. H. D. Warren. Towards a pipelined Prolog processor. New Generation Computing, 2(4):323–345, 1984.
D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983.
D. S. Warren. Efficient Prolog memory management for flexible control strategies. In The 1984 International Symposium on Logic Programming, pages 198–202, IEEE, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Warren, D.H.D. (1987). Or-parallel execution models of Prolog. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds) TAPSOFT '87. TAPSOFT 1987. Lecture Notes in Computer Science, vol 250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014984
Download citation
DOI: https://doi.org/10.1007/BFb0014984
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17611-4
Online ISBN: 978-3-540-47717-4
eBook Packages: Springer Book Archive