Abstract Comparative metric semantics for commit in or-parallel logic
programming
E. Todoran, J.I. den Hartog and E.P. de Vink

For the control flow kernel of or-parallel Prolog with commit an
operational and a denotational model are constructed and related using
techniques from metric semantics. By maintaining explicit scope
information a compositinal handling of the commit for the denotational
model is established. By application of an abstraction function, which
deletes this extra information, the operational semantics is
recovered.