home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / RANDOM.LF < prev    next >
Text File  |  1996-06-04  |  183b  |  11 lines
  1. ranlist(0) -> [].
  2. ranlist(N) -> [random(1000)|ranlist(N-1)].
  3.  
  4. testeq(S,N) :-
  5.     initrandom(S),
  6.     X=ranlist(N),
  7.     initrandom(S),
  8.     Y=ranlist(N), 
  9.     write(length(X)," ",length(Y)), nl,
  10.     X=Y.
  11.