Parallel execution of Prolog with granularity control | Publicación