On the Transformation of a Prolog Program to a More Efficient Binary Program (1992)

by B Demoen
Venue:Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, Workshops in Computing series