Schema-Based Transformations of Logic Programs in lambda-Prolog.
Petr OlmerPetr StepánekPublished in: ICLP (2002)
Keyphrases
- logic programs
- logic programming
- prolog programs
- partial deduction
- answer set programming
- existentially quantified
- logic programming language
- horn clauses
- answer sets
- stable models
- fixpoint
- databases
- data model
- background knowledge
- computational properties
- inductive logic programming
- fixed point
- normal logic programs
- database schema
- deductive databases
- nonmonotonic reasoning
- constraint logic programming
- default logic
- recursive programs
- strong equivalence
- transformation rules
- monotonicity constraints
- xml schema
- knowledge representation
- logic program updates
- loop formulas
- constraint satisfaction problems
- term rewriting systems