Higher-order transformation of logic programs.
Silvija SeresJ. Michael SpiveyPublished in: LOPSTR (2000)
Keyphrases
- logic programs
- higher order
- logic programming
- stable models
- fixpoint
- answer sets
- answer set programming
- normal logic programs
- background knowledge
- partial deduction
- markov random field
- inductive logic programming
- computational properties
- pairwise
- horn clauses
- prolog programs
- answer set programs
- stable model semantics
- minimal models
- monotonicity constraints
- strong equivalence
- semantics of logic programs
- deductive databases