Partial evaluation of logic programs.
Changwoo PyoPublished in: ACM Conference on Computer Science (1988)
Keyphrases
- logic programs
- partial evaluation
- explanation based generalization
- logic programming
- answer sets
- background knowledge
- answer set programming
- stable models
- fixpoint
- inductive logic programming
- partial deduction
- domain theory
- computational properties
- prolog programs
- stable model semantics
- database
- xpath queries
- normal logic programs
- logic program updates
- default logic
- higher order
- modal logic
- data warehouse
- strong equivalence
- semantics of logic programs
- data model
- databases