protocol
randomp¶
Random number generator protocol.
static(no dependencies on other entities)
Public interface¶
random/1¶
Returns a new random float value in the interval [0.0, 1.0[.
staticrandom(Random)random(-float) - onebetween/3¶
Returns a new random integer in the interval [Lower, Upper]. Fails if Lower or Upper are not integers or if Lower > Upper.
staticbetween(Lower,Upper,Random)between(+integer,+integer,-integer) - zero_or_onemember/2¶
Returns a random member of a list. Fails if the list is empty.
staticmember(Random,List)member(-term,+list(term)) - zero_or_oneselect/3¶
Returns a random member of a list and the rest of the list. Fails if the list is empty.
staticselect(Random,List,Rest)select(-term,+list(term),-list(term)) - zero_or_onepermutation/2¶
Returns a random permutation of a list.
staticpermutation(List,Permutation)permutation(+list,-list) - onesequence/4¶
Returns a list of the given length of random integers in random order in the interval [Lower, Upper]. Fails if Length, Lower, or Upper are not integers or if Lower > Upper.
staticsequence(Length,Lower,Upper,List)sequence(+integer,+integer,+integer,-list(integer)) - zero_or_oneset/4¶
Returns an ordered set of the given size of random integers in the interval [Lower, Upper]. Fails if Length, Lower, or Upper are not integers, if Lower > Upper, or if Length > Upper - Lower + 1.
staticset(Length,Lower,Upper,Set)set(+integer,+integer,+integer,-list(integer)) - zero_or_onerandom/3¶
Returns a new random value in the interval [Lower, Upper[. Fails if Lower > Upper. Deprecated. Use between/3 for integers.
staticrandom(Lower,Upper,Random)random(+integer,+integer,-integer) - zero_or_onerandom(+float,+float,-float) - zero_or_onerandseq/4¶
Returns a list of the given length of random values in random order in the interval [Lower, Upper[. Fails if Lower > Upper or if the arguments are neither integers or floats. Deprecated. Use sequence/4 for integers.
staticrandseq(Length,Lower,Upper,List)randseq(+integer,+integer,+integer,-list(integer)) - zero_or_onerandseq(+integer,+float,+float,-list(float)) - zero_or_onerandset/4¶
Returns an ordered set of the given size of random values in the interval [Lower, Upper[. Fails if the arguments are neither integers or floats, Lower > Upper, or Length > Upper - Lower when the arguments are integers. Deprecated. Use set/4 for integers.
staticrandset(Length,Lower,Upper,Set)randset(+integer,+integer,+integer,-list(integer)) - zero_or_onerandset(+integer,+float,+float,-list(float)) - zero_or_oneget_seed/1¶
Gets the current random generator seed. Seed should be regarded as an opaque ground term.
staticget_seed(Seed)get_seed(-ground) - oneset_seed/1¶
Sets the random generator seed to a given value returned by calling the get_seed/1 predicate.
staticset_seed(Seed)set_seed(+ground) - onemaybe/0¶
Succeeds or fails with equal probability.
staticmaybe - zero_or_onemaybe/1¶
Succeeds with probability Probability or fails with probability 1 - Probability. Fails if Probability is not a float or is outside the interval [0.0, 1.0].
staticmaybe(Probability)maybe(+probability) - zero_or_onemaybe/2¶
Succeeds with probability K/N where K and N are integers satisfying the equation 0 =< K =< N. Fails otherwise.
staticmaybe(K,N)maybe(+non_negative_integer,+non_negative_integer) - zero_or_onemaybe_call/1¶
Calls a goal or fails without calling it with equal probability. When the goal is called, it determines if this predicate succeeds once or fails.
staticmaybe_call(Goal)maybe_call(0)maybe_call(+callable) - zero_or_onemaybe_call/2¶
Calls a goal or fails without calling it with probability Probability. When the goal is called, it determines if this predicate succeeds once or fails.
staticmaybe_call(Probability,Goal)maybe_call(*,0)maybe_call(+probability,+callable) - zero_or_oneProtected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)