Improving Prolog programs
Paul Creelman · ACM SIGART Bulletin · 1984
Optimizing logic programs written in Prolog is an easy task. The depth first search ensures that rules Ri in the axiom list (global database) are searched from top to bottom of the global axiom list. (For simple implementations such as Robert Wallace's PiL published in the July 1983 issue of the SIGART Newsletter.)