I had an undergraduate research project where I implemented Guy Steeles' Constraint Propagation Language (from his PhD thesis) in *Lisp on the CM-1. I completely forgot about this.