Download:
|
by Juan Jos'e Moreno-navarro
Proceedings of the 12th International Conference on Logic Programming
ftp://ftp.cs.unh.edu/pub/csp/archive/papers/moreno-tuple-inheritance.ps.gz
Add To MetaCart
Abstract:
In this paper, we present a new form of inheritance for (constraint) logic programming. This inheritance is informally defined in the following terms: a module inherits from the other one the consequences that are not covered by itself (with respect to a fixed tuple of arguments). A computable approximation to this definition is studied, based on finite failure. In particular, we define the declarative semantics (based on Kunen's 3-valued semantics) and the operational semantics (based on constructive negation). Several examples, showing the usefulness of the proposal are presented, as well as some hints for its implementation. 1
Citations
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
325
|
Bilattices and the semantics of logic programming
– Fitting
- 1991
|
|
214
|
Negation in logic programming
– Kunen
- 1987
|
|
124
|
Constructive negation based on the complete database
– Chan
- 1988
|
|
123
|
Negation and Constraint Logic Programming
– Stuckey
|
|
114
|
The s-semantics approach: Theory and applications
– Bossi, Gabrielli, et al.
- 1994
|
|
83
|
Objects as closures: Abstract semantics of object--oriented languages
– Reddy
- 1988
|
|
80
|
Modularity in logic programming
– Bugliesi, Lamma, et al.
- 1994
|
|
50
|
What is failure? An approach to constructive negation
– Drabent
- 1995
|
|
47
|
An algebra of logic programs
– Mancarella, Pedreschi
- 1988
|
|
44
|
Towards an Algebra for Constructing Logic Programs
– O'Keefe
- 1985
|
|
39
|
The integration of functions into logic programming: A survey
– Hanus
- 1994
|
|
36
|
Program Construction in Computational Logic
– Brogi
- 1993
|
|
30
|
An extension of constructive negation and its application in coroutining
– Chan
- 1989
|
|
27
|
A declarative view of inheritance in logic programming
– Bugliesi
- 1992
|
|
23
|
Compositional model-theoretic semantics for logic programs
– Brogi, Lamma, et al.
- 1992
|
|
13
|
Default rules: An extension of constructive negation for narrowing-based languages
– Moreno-Navarro
- 1994
|
|
10
|
Composing Open Logic Programs
– Brogi, Lamma, et al.
- 1993
|
|
10
|
Semantics of constraint logic programs with optimization
– Marriott, Stuckey
- 1993
|
|
7
|
Inheritance and Hypothetical Reasoning in Logic Programming
– Brogi, Lamma, et al.
- 1990
|
|
7
|
Conditional narrowing with constructive negation
– Ram'irez, Falaschi
- 1993
|
|
5
|
A Transformational Approach to Negation
– Barbuti, Mancarella, et al.
- 1990
|
|
5
|
A Transformational View of Inheritance
– Monteiro, Porto
- 1990
|
|
4
|
Stratified and Three-valued Logic Programming
– Fitting, Ben-Jacob
- 1988
|
