"Continuations in Lambda-Prolog."

Pascal Brisset, Olivier Ridoux (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics