- 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, _)
.