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.