"A Continuation-Passing Style for Prolog."

Thomas Lindgren (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics