The Muse Or-Parallel Prolog Model and its Performance