tolower(A, X)

Maps the atom A to lowercase and unifies the result with X.
