PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Manco G., Raffaetà A., Turini F. Modeling object-oriented logic programming framework. Internal note CNUCE-B4-95-046, 1995.
 
 
Abstract
(English)
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
Subject Logic programming
Object·oriented programming
Role dynamics
Semantics


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional