[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.
[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.