CLAIRE

Combining Logical Assertion Inheritance Relations and Entities

Yves Caseau, 1994

A high-level functional and object-oriented language with advanced rule processing capabilities. It claims to derive its ideas from: Smalltalk for the object-oriented aspects, SETL for the set programming abilities, OPS5 for the production rules, LISP for the object reflection and the functional programming, ML[2] for the polymorphism and C for the general philosophy. See also LAURE and LORE[1].