[not loaded]All predicatesShow sourcesolve_forall.pl