1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		:- use_module(library(random),[random_member/2]).
5
6		generate(boolean(_),Value) :-
7		random_member(Value,[true,false]).
8
9		shrink(boolean(_),Boolean,Boolean).