- context(:Goal, Handler)
- Is mapped to
catch(Goal, Error, Recover) is Handler is
error(_,_) => Recover. Other cases are not covered by the
- context(:Goal, +Mapping)
- IF/Prolog context/2 construct. This is the true predicate. This
is normally mapped by goal-expansion.
- - Does not deal with IF/Prolog signal mapping