10.7 Generating Integers—library(between)

This library module provides some means of generating integers. Exported predicates:

between(+Lower, +Upper, -Number)

is true when Lower, Upper, and Number are integers, and Lower =< Number =< Upper. If Lower and Upper are given, Number can be tested or enumerated. If either Lower or Upper is absent, there is not enough information to find it, and an error will be reported.

gen_nat(?N)

is true when N is a natural number. If N is a variable, it will enumerate the natural numbers 0,1,2,... and of course not terminate. It is not meant to be applied to anything but integers and variables.

gen_int(?I)

is true when I is an integer. If I is a variable, it will enumerate the integers in the order 0, 1, -1, 2, -2, 3, -3, &c. Of course this sequence has no end. It is not meant to be applied to anything but integers and variables.

repeat(+N)

(where N is a non-negative integer) succeeds exactly N times. You can only understand it procedurally, and really it is only included for compatibility with some other Prologs.

numlist(?Lower, ?Upper, ?List)

is true when List is [Lower, ..., Upper], Lower and Upper integers. For example, numlist(1, 3, L) binds L = [1,2,3]. This is not yet as general as it ought to be: if Lower and Upper are not both integers, List must be proper, and if Lower and Upper are both variables, at least one element of List must be an integer. If Lower = Upper+1, numlist(Lower, Upper, []) is true.