Wavefront Techniques for Recursive Logic Programs.
Dietmar SeipelHans ArgentonPublished in: Workshop on Deductive Databases, JICSLP (1992)
Keyphrases
- logic programs
- recursive programs
- logic programming
- fixpoint
- background knowledge
- stable models
- answer sets
- answer set programming
- recursive queries
- inductive logic programming
- computational properties
- term rewriting systems
- prolog programs
- datalog programs
- stable model semantics
- partial deduction
- software engineering
- loop formulas
- autoepistemic logic
- strong equivalence
- existentially quantified
- deductive databases
- description logics