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