Shigeo Abe Tadaaki Bandoh S. Yamaguchi Ken-ichi Kurosawa Kaori Kiriyama High Performance Integrated Prolog Processor IPP. 100-107 1987 ISCA db/conf/isca/isca87.html#AbeBYKK87