资料来源 : Free On-Line Dictionary of Computing

definitional constraint programming
     
         (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 {constraint}s 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)