definitional constraint programming
<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.
deferral « definite clause « definite sentence «
definitional constraint programming » deflate »
deflate compression » deflate/inflate compression