A.28 library(random): Random numbers
AllApplicationManualNameSummaryHelp

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.
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.
ClioPatria (version V3.0.0-338-gc91dba5-DIRTY)