Jeffrey D. Gee, Stephen W. Melvin, Yale N. Patt: The implementation of Prolog via VAX 8600 microcode. MICRO 1986: 68-74