Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines.

Mohan Yang, Alexander Shkapsky, Carlo Zaniolo

Browse the full ICLP paper archive.