Bruce K. Holmer Barton Sano Michael J. Carlton Peter Van Roy Alvin M. Despain Design and Analysis of Hardware for High-Performance Prolog. 107-139 1996 29 J. Log. Program. 1-3 db/journals/jlp/jlp29.html#HolmerSCRD96 http://dx.doi.org/10.1016/S0743-1066(96)88981-3