object
integer¶
Integer data type predicates.
Author: Paulo Moura
Version: 1.53
Date: 2018/7/11
Compilation flags:
static, context_switching_callsExtends:
public numberPublic interface¶
between/3¶
Returns integers in the interval defined by the two first arguments.
Compilation flags:
staticTemplate:
between(Lower,Upper,Integer)Mode and number of proofs:
between(+integer,+integer,+integer) - zero_or_onebetween(+integer,+integer,-integer) - zero_or_moreplus/3¶
Reversible integer sum. At least two of the arguments must be instantiated to integers.
Compilation flags:
staticTemplate:
plus(I,J,Sum)Mode and number of proofs:
plus(+integer,+integer,?integer) - zero_or_oneplus(+integer,?integer,+integer) - zero_or_oneplus(?integer,+integer,+integer) - zero_or_onesucc/2¶
Successor of a natural number. At least one of the arguments must be instantiated to a natural number.
Compilation flags:
staticTemplate:
succ(I,J)Mode and number of proofs:
succ(+integer,?integer) - zero_or_onesucc(?integer,+integer) - zero_or_onesequence/3¶
Generates a list with the sequence of all integers in the interval [Inf, Sup], assuming Inf =< Sup.
Compilation flags:
staticTemplate:
sequence(Inf,Sup,List)Mode and number of proofs:
sequence(+integer,+integer,-list(integer)) - zero_or_oneProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
(none)