Re-exported predicates

The following predicates are re-exported from other modules

 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.

 pcompare(Arg1, Arg2, Arg3, Arg4)

 pdif(Arg1, Arg2, Arg3)

 pdif(Arg1, Arg2, Arg3, Arg4)

 pif(Arg1, Arg2, Arg3)

 eq(Arg1, Arg2, Arg3)

 eq(Arg1, Arg2, Arg3, Arg4)

 lt(Arg1, Arg2, Arg3)

 lt(Arg1, Arg2, Arg3, Arg4)

 lte(Arg1, Arg2, Arg3)

 lte(Arg1, Arg2, Arg3, Arg4)

 gt(Arg1, Arg2, Arg3)

 gt(Arg1, Arg2, Arg3, Arg4)

 gte(Arg1, Arg2, Arg3)

 gte(Arg1, Arg2, Arg3, Arg4)

 pchar(Arg1)

 pchar_upper(Arg1, Arg2)

 pchar_lower(Arg1, Arg2)

 ch_map(Arg1, Arg2, Arg3)

 ch(Arg1, Arg2, Arg3)

 pchar_type(Arg1, Arg2)

 pchar_code(Arg1, Arg2)

 pdif_char(Arg1, Arg2, Arg3)

 plist(Arg1)

 plength(Arg1, Arg2)

 pnth0(Arg1, Arg2, Arg3)

 pnth1(Arg1, Arg2, Arg3)

 pmemberchk(Arg1, Arg2, Arg3)

 psublist(Arg1, Arg2, Arg3, Arg4, Arg5)

 ppartition(Arg1, Arg2, Arg3, Arg4)

 pinclude(Arg1, Arg2, Arg3)

 pexclude(Arg1, Arg2, Arg3)

 list_in_domain(Arg1, Arg2)

 non_member(Arg1, Arg2, Arg3)

 remove_dups(Arg1, Arg2)

 list_join(Arg1, Arg2, Arg3)

 psort(Arg1, Arg2, Arg3)

 pchar(Arg1)

 pchar_upper(Arg1, Arg2)

 pchar_lower(Arg1, Arg2)

 pchar_type(Arg1, Arg2)

 pchar_code(Arg1, Arg2)

 pstr_empty(Arg1)

 pstr_upper(Arg1, Arg2)

 pstr_lower(Arg1, Arg2)

 pstr_split(Arg1, Arg2, Arg3)

 pstr_join(Arg1, Arg2, Arg3)

 pstr_contains(Arg1, Arg2)

 pstr_contains(Arg1, Arg2, Arg3)

 pstr_prefix(Arg1, Arg2)

 pstr_prefix(Arg1, Arg2, Arg3)

 pstr_trim(Arg1, Arg2)

 pstr_replace(Arg1, Arg2, Arg3, Arg4)

 unary(Arg1)

 string_unary(Arg1, Arg2)

 unary_string(Arg1, Arg2)

 add(Arg1, Arg2, Arg3)

 mul(Arg1, Arg2, Arg3)

 div(Arg1, Arg2, Arg3, Arg4)