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