Schema-Based Transfomations of Logic Programs.
Norbert E. FuchsMarkus P. J. FromherzPublished in: LOPSTR (1991)
Keyphrases
- logic programs
- logic programming
- stable models
- answer sets
- data model
- answer set programming
- fixpoint
- computational properties
- partial deduction
- background knowledge
- inductive logic programming
- database schema
- normal logic programs
- databases
- xml schema
- prolog programs
- loop formulas
- term rewriting systems
- functional programs
- recursive programs
- transformation rules
- stable model semantics
- xml data
- strong equivalence
- database
- logic program updates