object
integer
Integer data type predicates.
static, context_switching_callspublic number
Portability notes: This object will use the backend Prolog system
between/3,plus/3, andsucc/2built-in predicates when available.
Public predicates
between/3
Returns integers in the interval defined by the two first arguments.
staticbetween(Lower,Upper,Integer)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.
staticplus(I,J,Sum)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.
staticsucc(I,J)succ(+integer,?integer) - zero_or_onesucc(?integer,+integer) - zero_or_onesequence/3
Generates a list with the sequence of all integers in the interval [Lower,Upper]. Assumes Lower =< Upper and fails otherwise.
staticsequence(Lower,Upper,List)sequence(+integer,+integer,-list(integer)) - zero_or_onesequence/4
Generates a list with the sequence of integers in the interval [Lower,Upper] by Step. Assumes Lower =< Upper, Step >= 1 and fails otherwise.
staticsequence(Lower,Upper,Step,List)sequence(+integer,+integer,+integer,-list(integer)) - zero_or_oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)