Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs.
Pierre FlenerYves DevillePublished in: ICLP Workshop on Construction of Logic Programs (1991)
Keyphrases
- logic programs
- functional programs
- logic programming
- update operators
- answer sets
- stable models
- fixpoint
- answer set programming
- partial deduction
- computational properties
- background knowledge
- inductive logic programming
- program synthesis
- term rewriting systems
- normal logic programs
- prolog programs
- horn clauses
- stable model semantics
- strong equivalence
- loop formulas
- answer set programs
- nonmonotonic reasoning
- monotonicity constraints
- multi valued
- logic program updates