[not loaded]All predicatesShow sourcesolve_not_true.pl