between/3

Availability:built-in

between(+Low, +High, ?Value)

Low and High are integers, High >=Low. If Value is an integer, Low =<Value =<High. When Value is a variable it is successively bound to all integers between Low and High. If High is inf or infinite^{74We prefer infinite,
but some other Prolog systems already use inf for infinity;
we accept both for the time being.} between/3 is true iff Value >=Low, a feature that is particularly interesting for generating integers from a certain value.