Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization (1997)

by Alberto Pettorossi , Maurizio Proietti
Venue:IN PROCEEDINGS OF THE 2ND ACM SIGPLAN WORKSHOP ON CONTINUATIONS
Citations:5 - 3 self