Luddy 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.
Sorry, no electronic version of this paper is currently available. See
The Trustees of