Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines.
Mohan YangAlexander ShkapskyCarlo ZanioloPublished in: ICLP (Technical Communications) (2015)
Keyphrases
- shared memory
- logic programs
- parallel machines
- logic programming
- distributed memory
- message passing
- parallel algorithm
- parallel programming
- parallel computing
- multi processor
- answer sets
- answer set programming
- magic sets
- stable models
- commodity hardware
- fixpoint
- parallel tree search
- parallel execution
- background knowledge
- parallel architectures
- normal logic programs
- address space
- parallel architecture
- parallel computation
- inductive logic programming
- stable model semantics
- parallel computers
- computational properties
- data parallelism
- partial deduction
- prolog programs
- general purpose
- multi core systems
- graph cuts
- belief propagation