Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

Eneia Todoran, Jerry den Hartog, Erik P. de Vink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    20 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationLogic programming
    Subtitle of host publicationproceedings of the 1997 International Symposium
    EditorsJan Małuszyński
    Place of PublicationCambridge, MA
    PublisherMIT Press
    Number of pages15
    ISBN (Print)9780262631808
    Publication statusPublished - Oct 1997

    Fingerprint Dive into the research topics of 'Comparative Metric Semantics for Commit in Or-Parallel Logic Programming'. Together they form a unique fingerprint.

    Cite this