Flexible continuations in logic programs via unfold/fold transformations and goal generalization (1997)

by A Pettorossi, M Proietti
Venue:In Proceedings of the 2nd ACM SIGPLAN Workshop on Continuations