The muse approach to Or-parallel prolog

This publication has 10 references indexed in Scilit:

• The Aurora or-parallel Prolog system
  New Generation Computing, 1990
• Pruning and scheduling speculative work in or-parallel Prolog
  Published by Springer Nature ,1989
• OR parallel execution of Prolog programs with side effects
  The Journal of Supercomputing, 1988
• Garbarge collection for Prolog based on WAM
  Communications of the ACM, 1988
• Binding environments for parallel logic programs in non-shared memory multiprocessors
  International Journal of Parallel Programming, 1988
• Using automated reasoning tools: A study of the semigroupF 2 B 2
  Semigroup Forum, 1987
• Principles of the Delphi Parallel Inference Machine
  The Computer Journal, 1987
• OR-parallel execution of Prolog on a multi-sequential machine
  International Journal of Parallel Programming, 1986
• An abstract machine for restricted AND-parallel execution of logic programs
  Published by Springer Nature ,1986
• Guarded horn clauses
  Published by Springer Nature ,1986