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
(Oct 1989)
Abstract:
The abstact is not available. Please see the full paper.
Available as:
PDF
(5063 KBytes)
