CONSTRAINTS

A constraint language using value inference.

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