Implementing PROLOG - compiling predicate logic programs, Research Reports Nos. 39 and 40 (1977)

by D H D Warren
Venue:Dept. of Artificial Intelligence. Univ. of