|Did you know ...||Search Documentation:|
:- use_module(library(prolog_debug)).(can be autoloaded)
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.