Logic Programming Methodology

    Project Details

    Description

    The project is concerned with development
    of a methodology for logic program construction based on composition of
    program schemes concievd as higher-order predicates.
    StatusActive
    Effective start/end date01/01/1995 → …

    Fingerprint

    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.