Project Details
Description
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.
We advocate an operator form of logic which encourage compositional
programming, and we examine theoretical and methodological aspects
of the approach.
Status | Active |
---|---|
Effective start/end date | 01/12/2000 → 01/01/9999 |
Collaborative partners
- Technical University of Denmark (lead)
- Uppsala University (Project partner)
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.