School of Informatics, Computing, and Engineering
Technical Report TR292:
A Prolog Semantics with First-Class Continuations and Dynamic Database
Christopher T. Haynes and Richard M. Salter
The abstact is not available. Please see the full paper.
The Trustees of