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 compositional 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.
|Title of host publication||Logic programming|
|Subtitle of host publication||proceedings of the 1997 International Symposium|
|Place of Publication||Cambridge, MA|
|Number of pages||15|
|Publication status||Published - Oct 1997|