[not loaded]All predicatesShow sourcehanoi_for_simple_minds_3.pl