xsb_error_get_tag(+Term, -Tag) is semidet

Tag is the formal part of an error(Formal,Context) term.

 xsb_error_get_message(+Term, -Message) is semidet

Message is the additional explanation context for an error term,

 domain_error(+Valid_type, -Culprit, +Predicate, +Arg)

Throws a domain error.

 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.

 check_var(Arg1, Arg2, Arg3)

 check_ground(Arg1, Arg2, Arg3)

 check_nonvar_list(Arg1, Arg2, Arg3)

 check_stream(Arg1, Arg2, Arg3)

 check_integer(Arg1, Arg2, Arg3)

 check_nonvar(Arg1, Arg2, Arg3)

 check_atom(Arg1, Arg2, Arg3)

 check_callable(Arg1, Arg2, Arg3)

 check_acyclic(Arg1, Arg2, Arg3)