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 |