Logic Program Synthesis in a Higher-Order Setting.
David LaceyJulian RichardsonAlan SmaillPublished in: Computational Logic (2000)
Keyphrases
- logic programs
- higher order
- logic programming
- functional programs
- answer sets
- stable models
- fixpoint
- answer set programming
- background knowledge
- normal logic programs
- inductive logic programming
- inside outside algorithm
- computational properties
- markov random field
- partial deduction
- stable model semantics
- logic program updates
- horn clauses
- general logic programs
- program synthesis
- fixpoint semantics
- counter examples
- stochastic logic programs
- prolog programs
- pairwise
- logic programming language
- extended logic programs
- propositional theories