High-level characteristics of or- and independent and-parallelism in prolog | Publicación