Pushing Selections into Logic Programs.
François BancilhonCatriel BeeriParis C. KanellakisRaghu RamakrishnanPublished in: XP7.52 Workshop on Database Theory (1986)
Keyphrases
- logic programs
- logic programming
- stable models
- answer set programming
- normal logic programs
- answer sets
- computational properties
- fixpoint
- inductive logic programming
- term rewriting systems
- partial deduction
- strong equivalence
- prolog programs
- background knowledge
- logic program updates
- high level
- loop formulas
- stable model semantics
- answer set semantics
- minimal models
- abductive reasoning
- horn clauses