[ Strings and Atoms | Reference Manual | Alphabetic Index ]
string_lower(++String, -Upper)
Convert string to lower case
- String
- A string
- Upper
- Variable or string
Description
   This predicate converts a string to its lower case version, i.e.
   converts all lower case characters to lower case, if possible.
Modes and Determinism
- string_lower(++, -) is det
Exceptions
- (4) instantiation fault 
- String is nonground.
- (5) type error 
- String is not a string.
Examples
    string_lower("ECLiPSe-6.2", S)       % gives S == "eclipse-6.2"
See Also
string_upper / 2