AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results.
Yow-Jian LinVipin KumarPublished in: ICLP/SLP (1988)
Keyphrases
- logic programs
- parallel execution
- shared memory
- shared memory multiprocessor
- logic programming
- parallel computing
- message passing
- parallel algorithm
- answer sets
- parallel programming
- fixpoint
- stable models
- parallel processing
- answer set programming
- normal logic programs
- partial deduction
- data partitioning
- cost model
- massively parallel
- efficient implementation
- strong equivalence
- knowledge base
- markov random field
- knn