<div class="notebook">

<div class="nb-cell markdown">
You can convert chars using `char_type/2`:
</div>

<div class="nb-cell program">
char_to_upper(Lower, Upper) :- char_type(Lower, to_lower(Upper)).
char_to_lower(Upper, Lower) :- char_type(Upper, to_upper(Lower)). 
</div>

<div class="nb-cell query">
char_to_upper('a', X), char_to_lower('A', Y).
</div>

</div>