Name: random/3
Module: random
Multifile: true
generate(between(A,B),Value) :- C is B + 1 , random(A,C,Value).
Calls:
Name: is/2
shrink(between(A,B),Value,Shrunken) :- shrink(integer(_),Value,Shrunken) , Shrunken >= A , Shrunken =< B.
Name: =</2
Name: >=/2
Name: RECURSIVE_CALL/3