The &-Prolog system: Exploiting independent and-parallelism | Publicación