Sequential Prolog Machine PEK. - Yukio Kaneda; Naoyuki Tamura; Koichi Wada 003; Hideo Matsuda; Shumin Kuo; Sadao Maekawa (New Gener. Comput., 1986)