[ Strings and Atoms | Reference Manual | Alphabetic Index ]

string_upper(++String, -Upper)

Convert string to upper case

String: A string
Upper: Variable or string

Description

This predicate converts a string to its upper case version, i.e. converts all lower case characters to upper case, if possible.

Modes and Determinism

string_upper(++, -) is det

Exceptions

(4) instantiation fault: String is nonground.
(5) type error: String is not a string.

Examples

    string_upper("Eclipse-6.2", S)       % gives S == "ECLIPSE-6.2"

See Also

string_lower / 2