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

Undocumented predicates

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

 property_test
 property_test(Arg1)