object
Integer data type predicates.
Paulo Moura
1.51
2011/9/19
static, context_switching_calls
public number
Returns integers in the interval defined by the two first arguments.
static
between(Lower,Upper,Integer)
between(+integer,+integer,+integer) – zero_or_one
between(+integer,+integer,-integer) – zero_or_more
Reversible integer sum. At least two of the arguments must be instantiated to integers.
static
plus(I,J,Sum)
plus(+integer,+integer,?integer) – zero_or_one
plus(+integer,?integer,+integer) – zero_or_one
plus(?integer,+integer,+integer) – zero_or_one
Successor of a natural number. At least one of the arguments must be instantiated to a natural number.
static
succ(I,J)
succ(+integer,?integer) – zero_or_one
succ(?integer,+integer) – zero_or_one
Generates a list with the sequence of all integers in the interval [Inf, Sup], assuming Inf =< Sup.
static
sequence(Inf,Sup,List)
sequence(+integer,+integer,-list(integer)) – zero_or_one
(see related entities)
(see related entities)