between(Bottom, Top, Int) is true if and only if Bottom =< Int =< Top. If Int is an unbounded variable, it will be bounded to every integer in the range [Bottom, Top].