Did you know ... Search Documentation:
Pack assertions -- prolog/engine/term_typing.pl
PublicShow source

Undocumented predicates

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

 var(Arg1)
 nonvar(Arg1)
 atom(Arg1)
 integer(Arg1)
 float(Arg1)
 number(Arg1)
 atomic(Arg1)
 ground(Arg1)