[ 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