Unification Parallelism for Prolog Processing. - Inagawa, Masayuki; Baba, Takanobu; Yamazaki, Katsuhiro; Okuda, Kenzo; Ishikawa, Ken (Systems & Computers in Japan, 1988)