category

statistics

Statistical calculations over a list of numbers.

Author: Paulo Moura
Version: 1:7:0
Date: 2022-06-20
Compilation flags:
static
Implements:
Uses:
Remarks:
(none)

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

arithmetic_mean/5

Auxiliary predicate for computing the arithmetic mean.

Compilation flags:
static
Template:
arithmetic_mean(List,Length0,Length,Sum,Mean)
Mode and number of proofs:
arithmetic_mean(+list(number),+integer,-integer,+number,-float) - one

squares_and_cubes/6

Auxiliary predicate for computing the skewness.

Compilation flags:
static
Template:
squares_and_cubes(List,Mean,Squares0,Squares,Cubes0,Cubes)
Mode and number of proofs:
squares_and_cubes(+list(number),+float,+float,-float,+float,-float) - one

squares_and_hypers/6

Auxiliary predicate for computing the kurtosis.

Compilation flags:
static
Template:
squares_and_hypers(List,Mean,Squares0,Squares,Hypers0,Hypers)
Mode and number of proofs:
squares_and_hypers(+list(number),+float,+float,-float,+float,-float) - one

variance/6

Auxiliary predicate for computing the variance.

Compilation flags:
static
Template:
variance(List,Length0,Length,Mean,M20,M2)
Mode and number of proofs:
variance(+list(number),+integer,-integer,+float,+float,-float) - one

Operators

(none)