An object-orieNTedconstraiNT language using a single abstraction mechanism developed by Bruce Horn of CMU in 1991. Siri is a conceptual blend of BETA and Bertrand. It is similar to Kaleidoscope. ["ConstraiNT Patterns as a Basis for Object-OrieNTed ConstraiNT Programming", B. Horn, OOPSLA ' 92 (Sept 1992)]. (1994-11-04)