Did you know ... Search Documentation:
Pack ccprism -- prolog/autodiff2.pl
PublicShow source

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)