Did you know ... Search Documentation:
Predicate context/2
Availability::- use_module(library(dialect/ifprolog)).
 context(:Goal, Handler)
Is mapped to catch(Goal, Error, Recover) is Handler is error(_,_) => Recover. Other cases are not covered by the emulation.
 context(:Goal, +Mapping)
IF/Prolog context/2 construct. This is the true predicate. This is normally mapped by goal-expansion.
bug
- Does not deal with IF/Prolog signal mapping