Keyphrases
- prolog programs
- abstract interpretation
- termination analysis
- logic programs
- static analysis
- model checking
- active rules
- dynamic analysis
- reasoning engine
- active databases
- answer set programming
- control flow
- logic programming
- artificial intelligence
- answer sets
- integrity constraints
- fine grained
- source code
- data warehouse
- case study
- knowledge base