[ library(par_util) | Reference Manual | Alphabetic Index ]
Goal1 & Goal2
Parallel AND operator implemented on top of OR-parallelism
Description
Parallel AND operator implemented on top of
    OR-parallelism.  This will only pay off for sufficiently
    coarse-grained computations in Goal1 and Goal2.
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).