|
|
|||||||||
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
atom_upper/2| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/atomic_term/atom_lower/print_de.html published 2008/11/17 update 2002/3/19 (c) 1996-2006 IF Computer Japan | ||||||||
|
