SWI-Prolog -- between/3

Documentation
- Reference manual
  - Built-in Predicates
    - Arithmetic
      - Special purpose integer arithmetic
        
        between/3
        
        succ/2
        
        plus/3
        
        divmod/4
        
        nth_integer_root_and_remainder/4
- Packages

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^{123We 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.