LAURE(ID:1637/lau002)

A language for knowledge representation combining object orientation and logic programming. Set operations. Object-oriented exception handling and a polymorphic type system.
Places
Structures:
Related languages
LORE => LAURE   Evolution of
LAURE => CLAIRE   Augmentation of
References:
  • Caseau, Y.; Hoffoss, D. "The LAURE Documentation," Bellcore Technical Memorandum, October 1989. view details
  • Caseau "An Object-Oriented Language for Advanced Applications" view details
          in Proc TOOLS 5, Santa Barbara 1991, P-H view details
  • Caseau, Yves "An Object-Oriented Deductive Language" view details Abstract: We propose a logic for objects that captures the knowledge represented with the LAURE object-oriented language. The work is oriented toward efficient implementation and compilation of queries. A data model for object-oriented databases is presented, with a declarative logic language used to perform queries and positive updates on the database. The expressiveness of this language is reduced, compared to other propositions in the same field, by the use
    of purely Horn clauses. An equivalent relational algebra is given, from which a formal technique for performing positive updates, called differentiation, is obtained. Two algorithms are proposed that achieve a sound and complete resolution, either for a bottom-up evaluation or a top-down resolution. An efficient implementation of constraint resolution is presented in this framework.
    External link: Online at citeseer
          in Annals of Mathematics and Artificial Intelligence 3(2-4) 1991 view details
  • Caseau, Y. "Constraint Satisfaction in LAURE" Bellcore technical memorandum. view details
          in Annals of Mathematics and Artificial Intelligence 3(2-4) 1991 view details
  • Caseau, Y.; Silverstein, G. "Some Original Features of the LAURE Language" view details
          in Workshop on Object-Oriented Programming Languages: the Next Generation view details
  • Koppstein, P. "A LAURE User's Guide" The LAURE Documentation, 1992 view details
          in Workshop on Object-Oriented Programming Languages: the Next Generation view details
  • Segoufin, L.; Caseau, Y. "Extension to the LAURE Logic Language" Bellcore Technical Memorandum view details
          in Workshop on Object-Oriented Programming Languages: the Next Generation view details
  • Caseau, Yves and Perron, Laurent "Attaching Second-Order Types to Methods in an Object-Oriented Language" view details Abstract: This paper proposes an extension of the notion of method as it is
    currently used in most object-oriented languages. We define polymethods as methods that we can attach directly to types, as opposed to classes and that we can describe with a second-order type. Two benefits result from this extension; first, the expressive power of the language is improved with better modeling abilities. Next, second-order types yield a more powerful (precise) type inference, which extends the range of static type checking in a truly extensible object-oriented language. We first show that extensible object-oriented languages present many difficulties for static type-checking and that second-order types are necessary to get stronger type-checking. We illustrate how to combine polymethods through type inheritance and propose a technique based on abstract interpretation to derive a second-order type for new polymethods.
    External link: Online copy
          in [ECOOP] ECOOP '93 Conference Proceedings, Kaiserslautern, Germany, July, 1993 view details
  • Caseau, Yves; Koppstein, Peter "The LAURE Reference Manual" view details
          in [ECOOP] ECOOP '93 Conference Proceedings, Kaiserslautern, Germany, July, 1993 view details