Using Constraint Logic Programming to Analyze theChronology in "A Rose for Emily".
Jennifer BurgAnne BoyleSheau-Dong LangPublished in: Comput. Humanit. (2000)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- logic programming
- answer set programming
- constraint programming
- proof theoretic
- constraint propagation
- temporal reasoning
- finite domain
- dynamic programming
- low level
- orders of magnitude
- global constraints
- context aware
- constraint solver
- relational databases