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

Availability::- use_module(library(random)).(can be autoloaded)
Source[semidet]random_select(-X, +List, -Rest)
[det]random_select(+X, -List, +Rest)
Randomly select or insert an element. Either List or Rest must be a list. Fails if List is the empty list.
Compatibility
Quintus and SICStus libraries.