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

    12 Downloads (Pure)

    Abstract

    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
    Pages101-115
    Number of pages15
    ISBN (Print)9780262631808
    DOIs
    Publication statusPublished - Oct 1997

      Fingerprint

    Cite this

    Todoran, E., den Hartog, J., & de Vink, E. P. (1997). Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. In J. Małuszyński (Ed.), Logic programming: proceedings of the 1997 International Symposium (pp. 101-115). Cambridge, MA: MIT Press. https://doi.org/10.7551/mitpress/4283.003.0023