SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs.
Håkan MillrothPublished in: J. Log. Program. (1995)
Keyphrases
- logic programs
- logic programming
- answer sets
- deductive databases
- answer set programming
- computational properties
- stable models
- fixpoint
- partial deduction
- stable model semantics
- recursive programs
- background knowledge
- valued logic
- normal logic programs
- horn clauses
- strong equivalence
- existentially quantified
- logic program updates
- datalog programs
- nonmonotonic reasoning
- complex objects
- monotonicity constraints
- transitive closure
- loop formulas
- software engineering
- term rewriting systems
- xml documents