Naoyuki Tamura Yukio Kaneda Implementing Parallel Prolog on a Multiprocessor Machine. 42-48 1984 SLP db/conf/slp/slp84.html#TamuraK84