Evan Tick David H. D. Warren Towards a Pipelined Prolog Processor. 29-40 1984 SLP db/conf/slp/slp84.html#TickW84