On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction

We give an account of various semantics for hierarchical logic programs and discuss their properties in terms of compositionality and full abstraction when inheritance is assumed as the underlying composition mechanism. The analysis is carried out along the guidelines of [7] and leads us to conclude that a logical semantics is inherently inadequate to fully capture the computational aspects of program composition. by inheritance.

[1]  Albert R. Meyer,et al.  Semantical paradigms: notes for an invited lecture , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[2]  Michele Bugliesi,et al.  A Declarative View of Inheritance in Logic Programming , 1992, JICSLP.

[3]  Luís Monteiro,et al.  Contextual Logic Programming , 1989, ICLP.

[4]  Haim Gaifman,et al.  Fully abstract compositional semantics for logic programs , 1989, POPL '89.

[5]  Giorgio Levi,et al.  A New Declarative Semantics for Logic Languages , 1988, ICLP/SLP.

[6]  Dale Miller,et al.  A Logical Analysis of Modules in Logic Programming , 1989, J. Log. Program..

[7]  Uday S. Reddy,et al.  Objects as closures: abstract semantics of object-oriented languages , 1988, LISP and Functional Programming.

[8]  Evelina Lamma,et al.  Objects in a Logic Programming Framework , 1990, RCLP.

[9]  Richard A. O'Keefe,et al.  Towards an Algebra for Constructing Logic Programs , 1985, International Conference on Spoken Language Processing.

[10]  Paolo Mancarella,et al.  An Algebra of Logic Programs , 1988, ICLP/SLP.

[11]  Michael J. Maher.  Equivalences of Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[12]  Luís Monteiro,et al.  Syntactic and Semantic Inheritance in Logic Programming , 1991, Declarative Programming.

[13]  Maurizio Gabbrielli,et al.  Contributions to the Semantics of Open Logic Programs , 1992, FGCS.

[14]  Michael J. Maher,et al.  Closures and Fairness in the Semantics of Programming Logic , 1984, Theor. Comput. Sci..