randomize/3

randomize( +List, -RandomList)* .

Create a "random" peermutation of a list. The initial list may have repeated elements,