SWI-Prolog -- exception_term/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(exceptions): Exception classification
- Packages

Availability::- use_module(library(exceptions)).

Source

[nondet,multifile]exception_term(?Type, ?Term)

Describe exceptions that are not error(Formal, _) terms.