Did you know ... Search Documentation:
error_handler.pl -- XSB compatible error handling
PublicShow source
Source xsb_error_get_tag(+Term, -Tag) is semidet
Tag is the formal part of an error(Formal,Context) term.
Source xsb_error_get_message(+Term, -Message) is semidet
Message is the additional explanation context for an error term,
Source domain_error(+Valid_type, -Culprit, +Predicate, +Arg)
Throws a domain error.
Source print_backtrace(+Backtrace)
This predicate, which is used by XSB’s default error handler, prints a backtrace structure to XSB’s standard error stream.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source check_var(Arg1, Arg2, Arg3)
Source check_ground(Arg1, Arg2, Arg3)
Source check_nonvar_list(Arg1, Arg2, Arg3)
Source check_stream(Arg1, Arg2, Arg3)
Source check_integer(Arg1, Arg2, Arg3)
Source check_nonvar(Arg1, Arg2, Arg3)
Source check_atom(Arg1, Arg2, Arg3)
Source check_callable(Arg1, Arg2, Arg3)
Source check_acyclic(Arg1, Arg2, Arg3)