A Dataflow Architecture for OR-Parallel Execution of Logic Programs.
A. V. S. SastryLalit M. PatnaikPublished in: ICPP (1) (1988)
Keyphrases
- logic programs
- parallel execution
- logic programming
- cost model
- parallel computing
- data partitioning
- stable models
- parallel processing
- answer set programming
- fixpoint
- answer sets
- partial deduction
- normal logic programs
- query execution
- query processing
- stable model semantics
- computational properties
- shared memory
- prolog programs
- data flow
- join algorithms
- parallel programming
- software architecture
- processing units
- strong equivalence
- response time