Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine.

Ralph Butler, Rasiah Loganantharaj, Robert Olson

Browse the full CADE paper archive.