A Parallel Prolog: The Construction of a Data Driven Model.

Michael J. Wise A Parallel Prolog: The Construction of a Data Driven Model. 56-66 1982 Symposium on LISP and Functional Programming db/conf/lfp/lfp1982.html#Wise82