Prolog multiprocessors
Wise, Michael J.
Prentice-Hall
1986