Did you know ... Search Documentation:
Pack xtools -- prolog/checkers/check_trivial_fails.pl
PublicShow source