Source : Free On-Line Dictionary of Computing

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