Implementing Prolog: compiling predicate logic programs (1977)

by D H D Warren