"A Partial Evaluator of Lisp Programs Written in Prolog."

Kenneth M. Kahn (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics