The muse approach to Or-parallel prolog
- 1 April 1990
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 19 (2), 129-162
- https://doi.org/10.1007/bf01407834
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The Aurora or-parallel Prolog systemNew Generation Computing, 1990
- OR parallel execution of Prolog programs with side effectsThe Journal of Supercomputing, 1988
- Garbarge collection for Prolog based on WAMCommunications of the ACM, 1988
- Binding environments for parallel logic programs in non-shared memory multiprocessorsInternational Journal of Parallel Programming, 1988
- Using automated reasoning tools: A study of the semigroupF 2 B 2Semigroup Forum, 1987
- Principles of the Delphi Parallel Inference MachineThe Computer Journal, 1987
- OR-parallel execution of Prolog on a multi-sequential machineInternational Journal of Parallel Programming, 1986
- An abstract machine for restricted AND-parallel execution of logic programsLecture Notes in Computer Science, 1986
- Guarded horn clausesLecture Notes in Computer Science, 1986