[not loaded]All predicatesShow sourceclassic_negation.pl