An object-oriented constraint 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)].