|Did you know ...||Search Documentation:|
:- use_module(library(random)).(can be autoloaded)
For compatibility reasons with older versions of this library,
setrand/1 also accepts
rand(A,B,C), where A, B and C are integers in the
range 1..30,000. This argument is used to seed the random generator.