9 search results - page 2 / 2 » iclp 1992 |
ICLP
1992
Springer
13 years 10 months ago
1992
Springer
ICLP
1992
Springer
13 years 10 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
ICLP
1992
Springer
13 years 10 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
ICLP
1992
Springer
13 years 10 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...