[ library(ic_prop_test_util) | Reference Manual | Alphabetic Index ]

# random_bound_reduction_test(+Out, +Goal, +Vars)

Run and keep waking a constraint until ground

Out
  An output stream for printing the execution protocol
Goal
  A goal, usually a constraint with domain variables
Vars
  Subset of Goal's variables to be domain-reduced

### Modes and Determinism

- random_bound_reduction_test(+, +, +) is det

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

## See Also

random_bound_reduction_test / 2