library(random)provides an alternative API to the same random primitives.
- Set the seed of the random generator for this thread. Seed is
an integer or the atom
random, repeat the initialization procedure described with the function random/1. Here is an example:
?- set_random(seed(111)), A is random(6). A = 5. ?- set_random(seed(111)), A is random(6). A = 5.
- Set the generator to a state fetched using the state property of random_property/1. Using other values may lead to undefined behaviour.125The limitations of the underlying (GMP) library are unknown, which makes it impossible to validate the State.