Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs.
Jürgen GieslThomas StröderPeter Schneider-KampFabian EmmesCarsten FuhsPublished in: LOPSTR (2012)
Keyphrases
- logic programs
- term rewriting
- logic programming
- fixpoint
- answer sets
- stable models
- answer set programming
- recursive programs
- background knowledge
- computational properties
- prolog programs
- refinement operators
- inductive logic programming
- term rewriting systems
- partial deduction
- counter examples
- theorem proving
- normal logic programs
- theorem prover
- databases
- logic program updates
- functional programs
- deductive databases
- high level