?- 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".