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