Object-Oriented Computations in Logic Programming

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.

parole chiave   Integration of object-oriented and logic paradigms, state configuration, partially configured instances, abduction, meta-level constraints

presentazione di riferimento

 Object-Oriented Computations in Logic Programming (ECOOP 1994, 07/06/1994) — Andrea Omicini (Andrea Omicini, Antonio Natali)

evento origine

 ECOOP 1994

rivista o collana

 Lecture Notes in Computer Science (LNCS)

pubblicazione di riferimento per presentazione

 Object-Oriented Computations in Logic Programming (ECOOP 1994, 07/06/1994) — Andrea Omicini (Andrea Omicini, Antonio Natali)