DDL: A Parallel Implementation of Prolog. - Kelly G. Price; Kai H. Chang; William B. Day (IEA/AIE, 1994)