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 number

Remarks:

Portability notes: This object will use the backend Prolog system between/3, plus/3, and succ/2 built-in predicates when available.

Inherited public predicates:

=~= / 2 approximately_equal/3 check/1 depth/2 essentially_equal/3 ground/1 new/1 occurs/2 singletons/2 subsumes/2 subterm/2 tolerance_equal/4 valid/1 variables/2 variant/2

Public predicates
Protected predicates
Private predicates
Operators

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)

Operators ¶

(none)

integer¶

`integer`¶