A simple and efficient explicit parallelization of logic programs using low-level threading primitives

Diptikalyan Saha, Paul Fodor

In this work, we present an automatic way to parallelize logic programs for finding all the answers to queries using a transformation to low level threading primitives. Although mu…