A language for knowledge representation combining object-orientated features and logic programming. It has set operations, object-oriented exception handling and a polymorphic type system.
E-mail: Yves Caseau <caseau@france.bellcore.com>.
["An Object-Oriented Language for Advanced Applications", in Proc TOOLS 5, Santa Barbara 1991, P-H].