(language)A language for knowledge representation combiningobject-oriented features and logic programming. It hasset operations, object-oriented exception handling and apolymorphic type system.
["An Object-Oriented Language for Advanced Applications", inProc TOOLS 5, Santa Barbara 1991, P-H].