Deep Logic Program Transformation Using Abstract Interpretation.
Dmitri Yu. BoulangerPublished in: RCLP (1991)
Keyphrases
- logic programs
- abstract interpretation
- logic programming
- termination analysis
- stable models
- answer sets
- fixpoint
- answer set programming
- static analysis
- normal logic programs
- active rules
- inside outside algorithm
- logic program updates
- computational properties
- deductive databases
- general logic programs
- prolog programs
- dynamic analysis
- model checking
- reasoning engine
- horn clauses
- loop formulas
- expert systems
- knowledge base