definitional constraint programming

definitional constraint programming

(language)(DCP) A declarative, programming paradigm whichintegrates concurrent constraint programming, constraint logic programming and functional programming. In thissetting a concurrent constraint language becomes acoordination system that organises the concurrent interactionof parallel functional computations. The language is also ageneralisation of parallel functional programming languages,such as Id, where constraints and constraint abstractionsare reused to define new constraints, as the means ofprogramming logical variables for parallel coordination.

Goffin is a DCP language.