Linearizing Some Recursive Logic Programs.
Irène GuessarianJean-Eric PinPublished in: IEEE Trans. Knowl. Data Eng. (1995)
Keyphrases
- logic programs
- recursive programs
- logic programming
- answer sets
- answer set programming
- fixpoint
- normal logic programs
- background knowledge
- stable models
- computational properties
- inductive logic programming
- term rewriting systems
- datalog programs
- recursive queries
- horn clauses
- partial deduction
- logic program updates
- strong equivalence
- reasoning tasks
- prolog programs
- monotonicity constraints