A numerical constraiNT-orieNTed language. ["VIVID: The Kernel of a Knowledge RepreseNTation EnvironmeNT Based on the ConstraiNTs Paradigm of Computation", J. Maleki, Proc 20th Annual Hawaii INTl Conf on System Sciences (Jan 1987) pp.591-597]. (1995-02-23)