Compositional logic programming

    Project Details


    Logic programming is programming within certain fragments of logic.
    We advocate an operator form of logic which encourage compositional
    programming, and we examine theoretical and methodological aspects
    of the approach.
    Effective start/end date01/12/200001/01/9999

    Collaborative partners


    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.