A continuation-passing style for Prolog (1994)

by T Lindgren
Venue:in Proc. Intl. Logic Programming Symposium