object

natural

Natural numbers data type predicates.

Availability:

logtalk_load(types(loader))

Author: Paulo Moura

Version: 2:0:0

Date: 2026-02-02

Compilation flags:

static, context_switching_calls

Extends:

public integer

Remarks:

(none)

Inherited public predicates:

 (<)/2  (=:=)/2  (=<)/2  (=\=)/2  =~= / 2  (>)/2  (>=)/2  approximately_equal/2  approximately_equal/3  between/3  check/1  depth/2  essentially_equal/3  ground/1  new/1  numbervars/1  numbervars/3  occurs/2  plus/3  power_sequence/4  sequence/3  sequence/4  singletons/2  subsumes/2  subterm/2  succ/2  tolerance_equal/4  valid/1  variables/2  variant/2  varnumbers/2  varnumbers/3

Public predicates

factorial/2

Computes the factorial of a non-negative integer.

Compilation flags:

static

Template:

factorial(N,Factorial)

Mode and number of proofs:

factorial(+non_negative_integer,-non_negative_integer) - one

---

binomial/3

Computes the binomial coefficient. N must be greater than or equal to K (fails otherwise).

Compilation flags:

static

Template:

binomial(N,K,Binomial)

Mode and number of proofs:

binomial(+non_negative_integer,+non_negative_integer,-non_negative_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)