[ library(par_util) | The ECLiPSe Libraries | 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).