atom_lower/2

Converts uppercase characters to their corresponding lowercase characters

atom_lower(+Atom, ?LowerAtom)

Converts all uppercase characters in Atom to the corresponding lowercase characters and unifies the result with LowerAtom.

Arguments

Atom                 atom
LowerAtom            atom

Examples

atom_lower('HeLlO world', T)

->

T = 'hello world'

See also