Or-Parallelism within Tabling.
Ricardo RochaFernando M. A. SilvaVítor Santos CostaPublished in: PADL (1999)
Keyphrases
- logic programming
- parallel processing
- shared memory
- massively parallel
- parallel execution
- computational power
- parallel computing
- parallel computers
- data parallelism
- model checking
- coarse grain
- databases
- level parallelism
- logic programming language
- parallel computation
- practical problems
- logic programs
- hidden markov models
- decision trees
- website