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

Undocumented predicates

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

 acheck(Arg1)
 acheck(Arg1, Arg2)
 acheck(Arg1, Arg2, Arg3)
 no_acheck(Arg1)
 no_acheck(Arg1, Arg2)