Schema-Guided Synthesis of Constraint Logic Programs.
Pierre FlenerHamza ZidoumBrahim HnichPublished in: ASE (1998)
Keyphrases
- logic programs
- functional programs
- logic programming
- answer sets
- fixpoint
- stable models
- answer set programming
- computational properties
- background knowledge
- xml schema
- inductive logic programming
- term rewriting systems
- prolog programs
- data model
- databases
- partial deduction
- strong equivalence
- normal logic programs
- monotonicity constraints
- horn clauses
- stable model semantics
- program synthesis
- logic program updates
- answer set programs
- linear constraints
- loop formulas
- xml data
- xml documents