Compiling Prolog into microcode: a case study using the NCR/32-000.

Barry S. Fagin, Yale N. Patt, Vason P. Srini, Alvin M. Despain

Browse the full MICRO paper archive.