Availability:built-in

**between**(

`+Low, +High, ?Value`)

`Low`and

`High`are integers,

`. If`

`High`≥`Low``Value`is an integer,

`. When`

`Low`≤`Value`≤`High``Value`is a variable it is successively bound to all integers between

`Low`and

`High`. If

`High`is

`inf`

or
`infinite`

^{121We prefer infinite, but some other Prolog systems already use inf for infinity; we accept both for the time being.}between/3 is true iff

`, a feature that is particularly interesting for generating integers from a certain value.`

`Value`≥`Low`