Forward slicing of functional logic programs by partial evaluation.
Josep SilvaGermán VidalPublished in: Theory Pract. Log. Program. (2007)
Keyphrases
- logic programs
- partial evaluation
- explanation based generalization
- logic programming
- answer set programming
- background knowledge
- fixpoint
- answer sets
- stable models
- partial deduction
- term rewriting systems
- computational properties
- deductive databases
- inductive logic programming
- strong equivalence
- normal logic programs
- prolog programs
- loop formulas
- stable model semantics
- xpath queries
- semi structured
- autoepistemic logic
- software engineering
- semi supervised
- prior knowledge
- machine learning