On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. - SANTOS, JÕAO; ROCHA, RICARDO; Carro, Manuel; King, Andy (Theory & Practice of Logic Programming, 2016)