The parallelization of logic languages: https://cliplab.org/papers/partut-toplas.pdf