Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming.
Juan José Moreno-NavarroJulio García-MartínA. del Pozo-PietroPublished in: GULP-PRODE (1995)
Keyphrases
- constraint logic programming
- object oriented
- constraint solving
- logic programming language
- knowledge representation
- multiple inheritance
- object oriented databases
- constraint programming
- programming language
- constraint propagation
- object identity
- database
- query language
- constraint satisfaction problems
- proof theoretic