-  random_permutation(+List, -Permutation) is det
 
- random_permutation(-List, +Permutation) is det
 - Permutation is a random permutation of List. This is intended to
process the elements of List in random order. The predicate is
symmetric.
- Errors
 - - instantiation_error, 
type_error(list, _).