Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism (1987)

by Peter Van Roy, Bart Demoen, Yves D Willems
Venue:In TAPSOFT ’87, pages 111–125, SpringerVerlag LNCS 250