Did you know ... Search Documentation:
Pack arithmetic_types -- prolog/type_bool.pl
PublicShow source

Undocumented predicates

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

 bool(Arg1)