
string_lower(++String, -Upper)

   Convert string to lower case

Arguments
   String              A string
   Upper               Variable or string

Type
   Strings and Atoms

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 --- String is nonground.
     5 --- String is not a string.

Examples
   
    string_lower("ECLiPSe-6.2", S)       % gives S == "eclipse-6.2"


See Also
   string_upper / 2
