Prolog Multiprocessors by Michael J Wise