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