A Prolog interpreter for OR parallelism evaluation on distributed systems | Publicación