GE> 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]. (1998-02-01)