SWI-Prolog -- error_term/2

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

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

Source

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

Describe the formal part of error(Formal,ImplDefined) exceptions.