A parallel prolog system for distributed memory | Publicación