[ 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