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