<language> (DCP) A declarative, programming paradigm which
integrates concurrent constraint programming, constraint
logic 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.