[not loaded]All predicatesShow sourcehanoi_for_simple_minds_2.pl