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


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)


  • Presentations referencing similar topics