Object-Oriented Computations in Logic Programming


Andrea Omicini, Antonio Natali

Object-Oriented Programming, pages 194-212
Lecture Notes in Computer Science 821,  1994
Springer-Verlag
Mario Tokoro, Remo Pareschi (eds.)
8th European Conference (ECOOP'94), Bologna, Italy, 4-8 July 1994. Proceedings

When interpreted as a model for structuring programs and organizing computations, the object-oriented paradigm can be thought as a set of abstractions independent of the host language. By generalizing the notion of object state configuration with respect to that embedded in languages based on assignment, this paper explores a relational approach to object-oriented programming. An object-oriented model based on the notion of object as structured logic theory, is introduced, allowing instance creation and configuration as well as computations with partially configured objects. The model is founded on an abductive framework rooted in the basic class/instance model of O-OP, which reconciles dynamic object creation with the declarative reading of LP. Meta-level constraints provide the computational support for the abstract model based on abduction. A simple first-order logic language implementing this model is presented, along with some examples of object-oriented logic computations dealing with intra- and inter-object constraints and with partially specified instances.

 @inproceedings{oolp-ecoop94,
AcmId = {646152.679515},
Author = {Omicini, Andrea and Natali, Antonio},
Booktitle = {Object-Oriented Programming},
Doi = {10.1007/BFb0052184},
Editor = {Tokoro, Mario and Pareschi, Remo},
Isbn = {3-540-58202-9},
Issn = {0302-9743},
Note = {8th European Conference (ECOOP'94), Bologna, Italy, 4--8~} # jul # {~1994. Proceedings},
Pages = {194--212},
Publisher = {Springer-Verlag},
ScopusId = {2-s2.0-21344495678},
Series = {LNCS},
Title = {Object-Oriented Computations in Logic Programming},
Url= {http://link.springer.com/chapter/10.1007/BFb0052184},
Volume = 821,
Year = 1994

Journals & Series

Publication

— authors

Andrea Omicini, Antonio Natali

— editors

Mario Tokoro, Remo Pareschi

— status

published

— sort

paper in proceedings

Venue

— volume

Object-Oriented Programming

— series

Lecture Notes in Computer Science

— volume

821

— pages

194-212

— publication date

1994

URLs

original page

Identifiers

— DOI

10.1007/BFb0052184

— ACM

646152.679515

— Scopus

2-s2.0-21344495678

— print ISSN

0302-9743

— print ISBN

3-540-58202-9

BibTeX

— BibTeX ID
oolp-ecoop94
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY