SWI-Prolog -- notrap/1

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(prolog_debug): User level debugging tools
- Packages

Availability::- use_module(library(prolog_debug)).(can be autoloaded)

[det]trap(+Exception)

[det]notrap(+Exception)

Install a trap on error(Formal, Context) exceptions that unify with Exception. The tracer is started when a matching exception is raised. This predicate enables debug mode using debug/0 to get more context about the exception. Even with debug mode disabled exceptions are still trapped and thus one may call nodebug/0 to run in normal mode after installing a trap.

The predicate notrap/1 removes matching (unifying) traps.

See also: - gtrap/1 to trap using the graphical debugger.
- Edit exceptions menu in PceEmacs and the graphical debugger that provide a graphical frontend to trap exceptions.