An OR parallel Prolog model for distributed memory systems | Publicación