[not loaded]All predicatesShow sourcesolve_findall.pl