The current version of pack rtchecks does not contain a file prolog/rtchecks/examples/rtchecks_disc.pl
rtchecks
prolog/rtchecks/examples/rtchecks_disc.pl