4.27.1 Special purpose integer arithmetic
All Application Manual Name SummaryHelp

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 infinite123We 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.