Hideo Matsuda M. Kohata T. Masuo Yukio Kaneda Sadao Maekawa Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System. 35-43 1985 conf/lp/1985 LP db/conf/lp/lp85.html#MatsudaKMKM85 http://dx.doi.org/10.1007/3-540-16479-0_4