LAURE

A language for knowledge representation combining object orientation and logic programming. It includes constraints, deductive rules, set operations, object-oriented exception handling and a polymorphic type system.

"An Object-Oriented Language for Advanced Applications", in Proceedings of TOOLS 5, Santa Barbara 1991, Prentice-Hall.