
random_sample(+Values, +SampleSize, -X)

   Nondeterministically pick SampleSize random elements

Arguments
   Values              Specification of possible values
   SampleSize          Integer
   X                   Output variable

Type
   library(tentative)

Description

	This predicate succeeds SampleSize times. Each time it succeeds,
	it returns a random value from the given specification of possible
	values.  The Values specifications are as in random_element/2.
    

Modes and Determinism
   random_sample(+, +, -) is nondet

Examples
   
    ?- random_sample(0 .. 9, 3, X).
    X = 9
    Yes (0.00s cpu, solution 1, maybe more)
    X = 0
    Yes (0.03s cpu, solution 2, maybe more)
    X = 5
    Yes (0.03s cpu, solution 3)
    

See Also
   random / 1, frandom / 1, random_element / 2, tent_set_random / 2
