Yuji Matsumoto Katsumi Nitta Koichi Furukawa Prolog Interpreter and its Parallel Extension. 52-67 1984 conf/vlsi/1984 VLSI Engineering db/conf/vlsi/vlsi1984.html#MatsumotoNF84