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

    62 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
    EventInt. Symp. on Logic Programming (ILPS) - Long Island, New York
    Duration: 1 Oct 19971 Oct 1997


    ConferenceInt. Symp. on Logic Programming (ILPS)


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

    Cite this