Did you know ... Search Documentation:
Pack assertions -- prolog/swi/plprops.pl
PublicShow source

Undocumented predicates

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

 det(Arg1)
 semidet(Arg1)
 nondet(Arg1)
 multi(Arg1)
 type(Arg1)
 char(Arg1)