On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores

João Santos, Ricardo Rocha

Nowadays, clusters of multicores are becoming the norm and, although, many or-parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them wa…