Semantics-directed generation of a Prolog compiler, Programming Language Implementation and (1991)

by C Consel, S C Khoo
Venue:Logic Programming,3rdInternational Symposium, PLILP '91