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