Barry S. Fagin Yale N. Patt Vason P. Srini Alvin M. Despain Compiling Prolog into microcode: a case study using the NCR/32-000. 79-88 1985 MICRO https://doi.org/10.1145/18927.18914 conf/micro/1985 db/conf/micro/micro1985.html#FaginPSD85