A pipelined microprocessor for logic programming languages. - Hiroshi Nakashima; Yasutaka Takeda; Katsuto Nakajima; Hideki Andou; Kiyohiro Furutani (ICCD, 1990)