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.