Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs.
Hiecheol KimKangwoo LeeJean-Luc GaudiotPublished in: J. Inf. Sci. Eng. (2000)
Keyphrases
- logic programs
- indexing scheme
- logic programming
- stable models
- fixpoint
- answer set programming
- answer sets
- indexing techniques
- indexing structure
- partial deduction
- filtering algorithm
- prolog programs
- inductive logic programming
- term rewriting systems
- computational properties
- stable model semantics
- normal logic programs
- logic program updates
- query processing
- strong equivalence
- loop formulas