Combining partial evaluation and constraint solving: a new approach to constraint logic programming.
Jin-Kao HaoJean-Jacques ChabrierPublished in: TAI (1990)
Keyphrases
- constraint solving
- constraint logic programming
- partial evaluation
- constraint propagation
- explanation based generalization
- constraint satisfaction
- constraint satisfaction problems
- constraint solver
- constraint programming
- xpath queries
- finite domain
- databases
- orders of magnitude
- programming language
- low level
- domain knowledge
- artificial intelligence