Prolog multiprocessors - Wise, Michael J. (Prentice Hall, 1986)