A Parallel Execution Scheme for Exploiting and Parallelism of Logic Programs.
Vipin KumarYow-Jian LinPublished in: ICPP (1986)
Keyphrases
- logic programs
- parallel execution
- logic programming
- parallel processing
- fixpoint
- data partitioning
- cost model
- answer sets
- parallel computing
- stable models
- answer set programming
- partial deduction
- normal logic programs
- shared memory
- prolog programs
- query processing
- inductive logic programming
- computational properties
- parallel programming
- massively parallel
- artificial intelligence
- multi dimensional
- software engineering
- databases
- database