Annotation of logic programs for independent AND-parallelism by partial evaluation.
Germán VidalPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- logic programs
- partial evaluation
- logic programming
- explanation based generalization
- answer sets
- background knowledge
- stable models
- fixpoint
- answer set programming
- domain theory
- normal logic programs
- prolog programs
- xpath queries
- computational properties
- partial deduction
- loop formulas
- deductive databases
- strong equivalence
- logic program updates
- functional programs
- term rewriting systems
- stable model semantics
- semantic annotation
- knowledge representation
- active learning
- semantics of logic programs
- metadata
- database