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].

Last updated: 1998-02-01

Nearby terms:

latticeLAUlaundromatLAURELAVAlawLAWNLawrence Livermore Labs

Try this search on Wikipedia, Wiktionary, Google, OneLook.