Did you know ... Search Documentation:
Predicate random_member/2
Availability::- use_module(library(random)).(can be autoloaded)
Source[semidet]random_member(-X, +List:list)
X is a random member of List. Equivalent to random_between(1, |List|), followed by nth1/3. Fails of List is the empty list.
Compatibility
Quintus and SICStus libraries.
Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
LogicalCaptain said (2021-01-23T15:01:34):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

Doc needs help

Typo:

Fails of List is the empty list.

to

Fails if List is the empty list.

This needs either a throw or a fix

This is not good (well, it it if you want to use random_member/2 to generate a stream of random booleans, but I think that's taking nondeterminism too far):

?- random_member(1,[1,2,3]).
false.

?- random_member(1,[1,2,3]).
true.

random_member(1,[1,2,3]) should succeed because 1 is, if not a "random" member, then at least a member of [1,2,3]