guard -package:backtracking package:cond

Generalization of guard
A variant of guard with a monadic predicate.