Did you know ... Search Documentation:
Pack genutils -- prolog/math.pl
PublicShow source
 stoch(+X:list(nonneg), -Y:list(nonneg), -Total:nonneg) is semidet
 stoch(+X:list(nonneg), -Y:list(nonneg)) is semidet
Compute normalised probability distribution from histogram counts, with total. Fails if total is less than or equal to zero.
 to_float(+Expr, -FloatVal:float) is det
Return the floating point value of Expr as evaluated by is/2.
 map_sum(+P:pred(+number,+number,-number), +L1:list(number), +L2:list(number), -S:number) is det
 map_sum(+P:pred(+number,-number), +L:list(number), -S:number) is det
Map P (arity N) over (N-1) supplied lists sum the resulting (Nth) list. Provided as predicates and goal expansions.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 sin(+Angle, -Sine) is det
 cos(+Angle, -Cosine) is det
 tan(+Angle, -Tangent) is det
 log(+X, -NatLog) is det
 log10(+X, -Log) is det
 pow(+X, +Y, -Pow) is det
 ceiling(+X, -Value) is det
 floor(+X, -Value) is det
 round(+X, -Value) is det
 sqrt(+X, -Value) is det
 acos(+X, -Value) is det
 asin(+X, -Value) is det
 atan(+X, -Value) is det
 atan2(+Y, +X, -Value) is det
 sign(+X, -Value) is det
Math library predicates. SWI-Prolog (and ISO) support these as functions under is/2, etc.
deprecated
- Do not use these predicates except for compatibility reasons.
Compatibility
- Quintus Prolog.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 mul(Arg1, Arg2, Arg3)
 sub(Arg1, Arg2, Arg3)
 add(Arg1, Arg2, Arg3)
 neg(Arg1, Arg2)
 divby(Arg1, Arg2, Arg3)
 recip(Arg1, Arg2)
 exp(Arg1, Arg2)
 gammaln(Arg1, Arg2)
 max(Arg1, Arg2, Arg3)
 equal(Arg1, Arg2, Arg3)
 prodlist(Arg1, Arg2)
 map_sum(Arg1, Arg2, Arg3)