definitional constraint programming

language (DCP) A declarative, programming paradigm which

integrates concurrent constraint programming, constraintlogic programming and functional programming. In this

setting a concurrent constraint language becomes a

coordination system that organises the concurrent interaction

of parallel functional computations. The language is also a

generalisation of parallel functional programming languages,

such as Id, where constraints and constraint abstractions

are reused to define new constraints, as the means of

programming logical variables for parallel coordination.

Goffin is a DCP language.

(1995-03-28)