1:- module(utilities, [ 2 random_string/1, 3 random_file/2 4 ]). 5 6:- use_module(library(random)).
11random_string(String) :- 12 Size is 2 ** (20 * 8), 13 random_between(0, Size, Num), 14 format(string(String), '~36r', [Num]). 15 16random_file(Prefix, Filename) :- 17 random_string(RandomString), 18 atomic_list_concat([Prefix, RandomString], Tmp), 19 tmp_file(Tmp, Filename)