inf or
infinite120We 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.