Charles Consel Siau-Cheng Khoo Semantics-Directed Generation of a Prolog Compiler. 263-291 1993 21 Sci. Comput. Program. 3 db/journals/scp/scp21.html#ConselK93