LAURE

language 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)