A.46 library(random): Random numbers
All Application Manual Name SummaryHelp

Availability::- use_module(library(random)).(can be autoloaded)
Source[det]randseq(+K:int, +N:int, -List:list(int))
S is a list of K unique random integers in the range 1..N. The order is random. Defined as 
randseq(K, N, List) :-
      randset(K, N, Set),
      random_permutation(Set, List).
See also
randset/3.
ClioPatria (version V3.1.1-51-ga0b30a5)