Leda
Tim Budd, Oregon State University, 1990-1993
A multiparadigm language (imperative, declarative, procedural, applicative, functional, logic, and object-oriented!)
"Blending Imperative and Relational Programming", Tim Budd, IEEE Software 8(1):58-65 (Jan 1991). Forthcoming book.