Sharing Analysis for Logic Programs using Set Logic Programs.
Michael CodishVitaly LagoonFrancisco BuenoPublished in: APPIA-GULP-PRODE (1996)
Keyphrases
- logic programs
- stable models
- logic programming
- definite clause
- background knowledge
- answer set programming
- fixpoint
- computational properties
- answer sets
- normal logic programs
- inductive logic programming
- partial deduction
- function symbols
- horn clauses
- stable model semantics
- logic programs with negation
- prolog programs
- existentially quantified
- term rewriting systems
- logic program updates
- minimal models
- propositional theories
- answer set programs
- deductive databases