Todo:

• fix constant handling in deriv stoch_exp rule

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.

 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.

 max(Arg1, Arg2, Arg3)

 mul(Arg1, Arg2, Arg3)

 add(Arg1, Arg2, Arg3)

 exp(Arg1, Arg2)

 llog(Arg1, Arg2)

 lse(Arg1, Arg2)

 deriv(Arg1, Arg2, Arg3)

 back(Arg1)

 grad(Arg1)

 esc(Arg1, Arg2, Arg3)

 expand_wsums

 wsum(Arg1, Arg2)

 add_to_wsum(Arg1, Arg2, Arg3)

 gather_ops(Arg1, Arg2, Arg3)