Kaleidoscope
Bjorn Freeman-Benson, University of Washington and Universite de Nantes, 1989; University of Victoria, 1992
An object-oriented language which mixes imperative and constraint-oriented features. Similar to Siri. Vaguely related to Prose[2].
"Kaleidoscope: Mixing Objects, Constraints and Imperative Programming", B. N. Freeman-Benson, SIGPLAN Notices 25(10):77-88 (OOPSLA/ECOOP '90) (Oct 1990).
"Constraint Imperative Programming", B. N. Freeman-Benson, PhD Thesis, TR 91-07-02, University of Washington, 1991.
"Constraint Imperative Programming", Freeman-Benson et al, IEEE Conference on Computer Languages, April 1992.
Kaleidoscope'90
Kaleidoscope'91
Kaleidoscope'93