random_permutation(List, Random_List) rearrange List randomly, generating Random_List. This predicate is symmetric and works both ways.