CONSTRAINTS

A language for solving constraints using value inference.

["CONSTRAINTS: A Language for Expressing Almost-Hierarchical Descriptions", G.J. Sussman et al, Artif Intell 14(1):1-39 (Aug 1980)].

Nearby terms:
Constraint Handling In Prolog « ConstraintLisp « Constraint Logic Programming « CONSTRAINTS » constraint satisfaction » constructed type » constructive