to_lower/2

"to_lower( ?LUpC, ?LowC" )

LowC is the lower case version of UpC., or UpC is the upper case bersion of LowC,