Library of Efficient Data types and Algorithms
A multi-paradigm language (imperative, declarative, procedural, applicative, functional, logic, and object-oriented!) by Tim Budd <budd@cs.orst.edu>, Oregon State U, 1990-1993.
["Blending Imperative and Relational Programming", Tim Budd, IEEE Software 8(1):58-65 (Jan 1991)]. Forthcoming book.