[ 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