SWI-Prolog -- assertion

prolog:assertion_failed(+Reason, +Goal) is semidet[multifile, library(debug)]: This hook is called if the Goal of assertion/1 fails. Reason is unified with either fail if Goal simply failed or an exception call otherwise. If this hook fails, the default behaviour is activated. If the hooks throws an exception it will be propagated into the caller of assertion/1.