SWI-Prolog -- random_select/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(random): Random numbers
- Packages

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.