SWI-Prolog 9.3.21
All Application Manual Name SummaryHelp

PublicShow sourceerror.pl

Undocumented predicates

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

Source instantiation_error(Arg1)
Source is_of_type(Arg1, Arg2)
Source must_be(Arg1, Arg2)
Source current_type(Arg1, Arg2, Arg3)
Source existence_error(Arg1, Arg2, Arg3)
Source existence_error(Arg1, Arg2)
Source domain_error(Arg1, Arg2)
Source syntax_error(Arg1)
Source permission_error(Arg1, Arg2, Arg3)
Source representation_error(Arg1)
Source uninstantiation_error(Arg1)
Source resource_error(Arg1)
Source type_error(Arg1, Arg2)