Modeling object-oriented logic programming framework

We extend logic programming with object oriented features. Classes and objects are represented by collection of clauses and features are introduced to handle object-identity, inheritance, roles and state update. Most of the extensions are based on the possibility of dynamically updating inheritance links. Our prime concern is to provide a logical account for the extensions. This is obtained directly via the definition of a suitable proof-system, and, indirectly, via a meta-logical definition in pure logic programming, on one side, and the translation into a fragment of linear logic, on the other side