upper_lower

[This is preliminary specification and subject to change.]

Group

Prolog predicates (more...)

Type

determ

Syntax

upper_lower( STRING UPPER_CASE, STRING LOW_CASE)

Flow patterns

(o,i),(i,o),(i,i)

Description:

Convert between upper and lower case characters
Remarks

The upper_lower predicate performs conversions between upper and lower case for either two strings or two characters.
(i, o) - Binds LowerCase to the lower-case equivalent of UpperCase.
(o, i) - Binds UpperCase to the upper-case equivalent of LowerCase.
(i, i) - This flow version is different from the other two. It succeeds if the two strings would be equal if they both were either all upper case or all lower-case. In other words, upper_lower (i, i) provides a case-insensitive string comparison.

Sample:

No sample