A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.
Ernie JohnsonC. R. RamakrishnanI. V. RamakrishnanPrasad RaoPublished in: Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases
- logic programs
- space efficient
- logic programming
- refinement operators
- answer sets
- data structure
- stable models
- fixpoint
- answer set programming
- background knowledge
- data streams
- sliding window
- inductive logic programming
- normal logic programs
- partial deduction
- prolog programs
- loop formulas
- logic program updates
- computational properties
- description logics
- stable model semantics
- horn clauses
- knowledge representation
- data sets
- knn
- functional programs
- relational databases
- term rewriting systems