Compositional logic programming

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.
StatusActive
Effective start/end date01/12/200001/01/9999