Unification parallelism for prolog processing

Masayuki Inagawa, Takanobu Baba, Katsuhiro Yamazaki, Kenzo Okuda, Ken Ishikawa. Unification parallelism for prolog processing. Systems and Computers in Japan, 19(1):37-46, 1988. [doi]

Abstract

Abstract is missing.