Barry S. Fagin, Yale N. Patt, Vason P. Srini, Alvin M. Despain. Compiling Prolog into microcode: a case study using the NCR/32-000. In Rich Belgard, editor, Proceedings of the 18th annual workshop on Microprogramming, Pacific Grove, CA, USA, December 3-6, 1985. pages 79-88, ACM/IEEE, 1985. [doi]
Abstract is missing.