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

(1994-11-01)

Try this search on Wikipedia, OneLook, Google

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