object
integer
¶
Integer data type predicates.
Author: Paulo Moura
Version: 1:54:0
Date: 2019-06-04
Compilation flags:
static, context_switching_calls
Extends:
public
numberRemarks:
Portability notes: This object will use the backend Prolog system
between/3
,plus/3
, andsucc/2
built-in predicates when available.
Inherited public predicates:
Public predicates¶
between/3
¶
Returns integers in the interval defined by the two first arguments.
Compilation flags:
static
Template:
between(Lower,Upper,Integer)
Mode and number of proofs:
between(+integer,+integer,+integer)
- zero_or_one
between(+integer,+integer,-integer)
- zero_or_more
plus/3
¶
Reversible integer sum. At least two of the arguments must be instantiated to integers.
Compilation flags:
static
Template:
plus(I,J,Sum)
Mode and number of proofs:
plus(+integer,+integer,?integer)
- zero_or_one
plus(+integer,?integer,+integer)
- zero_or_one
plus(?integer,+integer,+integer)
- zero_or_one
succ/2
¶
Successor of a natural number. At least one of the arguments must be instantiated to a natural number.
Compilation flags:
static
Template:
succ(I,J)
Mode and number of proofs:
succ(+integer,?integer)
- zero_or_one
succ(?integer,+integer)
- zero_or_one
sequence/3
¶
Generates a list with the sequence of all integers in the interval [Inf,Sup]
, assuming Inf =< Sup
.
Compilation flags:
static
Template:
sequence(Inf,Sup,List)
Mode and number of proofs:
sequence(+integer,+integer,-list(integer))
- zero_or_one
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)