O!-LOLA - Extending the Deductive Database System LOLA by Object-Oriented Logic Programming

Abstract

This paper presents the declarative extension of the deductive database system LOLA to the object-oriented deductive database system O!-LOLA. The model used for O!-LOLA is \objects as theories", extended by state evolution. O!-LOLA combines logic programming and OO programming in two diierent w ays: First, methods are implemented as logic programs. These… (More)

Topics

  • Presentations referencing similar topics