Differential logic programming

In this paper we define a compositional semantics for a generalized composition operator on logic programs. Static and dynamic inheritance as well as composition by union of clauses can all be obtained by specializing the general operator. The semantics is based on the notion of differential programs, logic programs annotated with declarations that establish the programs' external interfaces.

[1]  Luís Monteiro,et al.  A Transformational View of Inheritance in Logic Programming , 1990, ICLP.

[2]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[3]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

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

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

[6]  Carlo Zaniolo,et al.  Deductive Databases - Theory Meets Practice , 1990, EDBT.

[7]  Jens Palsberg,et al.  A Denotational Semantics of Inheritance and its Correctness , 1989, OOPSLA.

[8]  Donald Sannella,et al.  A Calculus for the Construction of Modular Prolog Programs , 1987, J. Log. Program..

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

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

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

[12]  Giorgio Levi,et al.  Models, Unfolding Rules and Fixpoint Semantics , 1988, ICLP/SLP.

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

[14]  Dino Pedreschi,et al.  Proving Termination of General Prolog Programs , 1991, TACS.

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

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

[17]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

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

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

[20]  Giorgio Levi,et al.  Declarative Modeling of the Operational Behavior of Logic Languages , 1989, Theor. Comput. Sci..

[21]  Maurizio Gabbrielli,et al.  On the Semantics of Logic Programs , 1991, ICALP.

[22]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[23]  Laura Giordano,et al.  A Modal Reconstruction of Blocks and Modules in Logic Programming , 1991, ISLP.

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

[25]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..

[26]  Jean-Paul Delahaye,et al.  Unfolding, Procedural and Fixpoint Semantics of Logic Programs , 1991, JTASPEFT/WSA.

[27]  STACS 91 , 1991, Lecture Notes in Computer Science.