An alternative to constraint logic programming for managing domain arithmetics in Prolog expert systems.
David RoachHal BerghelPublished in: SAC (1992)
Keyphrases
- constraint logic programming
- expert systems
- logic programming language
- logic programming
- constraint solving
- answer set programming
- constraint programming
- programming paradigms
- domain specific
- knowledge representation
- knowledge based systems
- temporal reasoning
- knowledge acquisition
- constraint propagation
- proof theoretic
- knowledge base
- inference engine
- global constraints
- general purpose