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