[not loaded]All predicatesShow sourcesolve_call.pl