Availability:built-in
downcase_atom(+AnyCase, 
-LowerCase)Converts the characters of AnyCase into lowercase as char_type/2 
does (i.e. based on the defined locale if Prolog provides 
locale support on the hosting platform) and unifies the lowercase atom 
with LowerCase.