Keyphrases
- logic programs
- parallel execution
- logic programming
- data partitioning
- cost model
- answer sets
- answer set programming
- parallel processing
- stable models
- fixpoint
- parallel computing
- partial deduction
- normal logic programs
- query execution
- computational properties
- prolog programs
- databases
- shared memory
- stable model semantics
- loop formulas
- massively parallel
- parallel programming
- artificial intelligence
- range queries
- semantic web
- general purpose
- database systems
- high level