A.46 library(random): Random numbers
All Application Manual Name SummaryHelp

Availability::- use_module(library(random)).(can be autoloaded)
Source[det]random_permutation(+List, -Permutation)
[det]random_permutation(-List, +Permutation)
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, _).