VIVID

A numerical constraint-oriented language.

"VIVID: The Kernel of a Knowledge Representation Environment Based on the Constraints Paradigm of Computation", J. Maleki, Proceedings of the 20th Annual Hawaii International Conference on System Sciences (Jan 1987) pp.591-597.