1 :- multifile generate/2.
2 :- multifile shrink/3.
3
4 :- use_module(library(random),[random_member/2]).
5
6 % random member of a list of values
7 generate(member(L),Value) :-
8 random_member(Value,L).