definitional constraint programming

from The Free On-line Dictionary of Computing (8 July 2008)

definitional constraint programming
DCP

   <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.

   {Goffin} is a DCP language.

   (1995-03-28)