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)