Full prolog and scheduling or-parallelism in muse

Citation:

Anon. Full prolog and scheduling or-parallelism in muse. International Journal of Parallel Programming. 1990.

Abstract:

Muse is a simple and efficient approach to Or-parallel implementation of the full Prolog language. It is based on havingmultiplesequential Prolog engines, each with its local address space, and some shared memory space. It is currently implemented on a number of bus-based and switch-based multiprocessors. The sequential SICStus Prolog system has been adapted to Or-parallel implementation with very low extra overhead in comparison with other approaches. The Muse performanhce results are very encouraging in absolute and relative terms.