Compiling Constraint Handling Rules into Prolog with Attributed Variables.
Christian HolzbaurThom W. FrühwirthPublished in: PPDP (1999)
Keyphrases
- constraint handling rules
- existentially quantified
- variable selection
- logic programming
- databases
- random variables
- relevant variables
- prolog programs
- computer vision
- knowledge representation
- programming language
- universally quantified
- website
- high level
- multiscale
- expert systems
- knowledge base
- constraint logic programming
- abstract machine
- genetic algorithm