[ library(tentative) | Reference Manual | Alphabetic Index ]

# random_sample(+Values, +SampleSize, -X)

Nondeterministically pick SampleSize random elements

Values
  Specification of possible values
SampleSize
  Integer
X
  Output variable

## 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