LAURE
A language for knowledge representation combining object-oriented features and logic programming. It has set operations, object-oriented exception handling and a polymorphic type system.
["An Object-Oriented Language for Advanced Applications", in Proc TOOLS 5, Santa Barbara 1991, P-H].