[not loaded]All predicatesShow sourceex01-dual.pl