A Tutorial on Synthesis of Logic Programs from Specifications.
Kung-Kiu LauGeraint A. WigginsPublished in: ICLP (1994)
Keyphrases
- logic programs
- recursive programs
- functional programs
- logic programming
- program synthesis
- answer sets
- background knowledge
- answer set programming
- stable models
- fixpoint
- partial deduction
- term rewriting systems
- computational properties
- prolog programs
- high level
- normal logic programs
- inductive logic programming
- horn clauses
- nonmonotonic reasoning
- strong equivalence
- logic program updates
- propositional theories
- monotonicity constraints
- control flow
- deductive databases