[ 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).