random_property/1

Documentation
- Reference manual
  - Built-in Predicates
    - Misc arithmetic support predicates
- Packages

Availability:built-in

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.

state(-State): 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 using the state(State) option.^{bugGMP
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.}