Did you know ... Search Documentation:
Pack purity -- prolog/punary.pl
PublicShow source

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.

 unary(Arg1)
 string_unary(Arg1, Arg2)
 unary_string(Arg1, Arg2)
 add(Arg1, Arg2, Arg3)
 mul(Arg1, Arg2, Arg3)
 div(Arg1, Arg2, Arg3, Arg4)