on a MIPS: results from a Prolog compiler for a RISC (1990)

by LIPS
Venue:In Proceedings of the Seventh International Conference on Logic Programming