?- upcase_atom('aAbB12',X).
X = 'AABB12'.
?- upcase_atom("aAbB12",X).
X = 'AABB12'.
For strings, there is the differently named string_upper/2
?- string_upper('aAbB12',X).
X = "AABB12".
?- string_upper("aAbB12",X).
X = "AABB12".
| Did you know ... | Search Documentation: |
| Predicate upcase_atom/2 |
?- upcase_atom('aAbB12',X).
X = 'AABB12'.
?- upcase_atom("aAbB12",X).
X = 'AABB12'.
For strings, there is the differently named string_upper/2
?- string_upper('aAbB12',X).
X = "AABB12".
?- string_upper("aAbB12",X).
X = "AABB12".