random_property(?Option)True when Option is a current property of the random
generator. Currently, this predicate provides access to the state. This
predicate is not present on systems where the state is inaccessible.
- Describes the current state of the random generator. State is a normal
Prolog term that can be asserted or written to a file. Applications
should make no other assumptions about its representation. The only
meaningful operation is to use as argument to set_random/1
provides no portable mechanism to fetch and restore the state. The
current implementation works, but the state depends on the platform.
I.e., it is generally not possible to reuse the state with another
version of GMP or on a CPU with different datasizes or endian-ness.