 0
 0 
S is a list of K unique random integers in the range 1..N.
=>
List is a list of K unique random integers in the range 1..N.
| Did you know ... | Search Documentation: | 
|  | Predicate randseq/3 | 
 [det]randseq(+K:int, 
+N:int, -List:list(int))
[det]randseq(+K:int, 
+N:int, -List:list(int))
randseq(K, N, List) :-
      randset(K, N, Set),
      random_permutation(Set, List).
 0
 0 
S is a list of K unique random integers in the range 1..N.
=>
List is a list of K unique random integers in the range 1..N.