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)