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

Re-assign community