Did you know ... Search Documentation:
Predicate reset/2
 reset(+G:pred, -C:cont(_)) is det
Calls goal G as in reset/3, but combines the result into a single algebraic data type cont(_).