KPR: A Logic Programming Language-Oriented Parallel Machine. - Kiyoshi Shibayama; Masaaki Yamamoto; Hiroaki Hirata; Yasushi Konoh; Takanori Sanetoh; Hiroshi Hagiwara (LP, 1987)