Availability:built-in
[ISO]char_conversion(+CharIn,
+CharOut)Define that term input (see read_term/3)
maps each character read as
CharIn to the character CharOut. Character
conversion is only executed if the Prolog flag char_conversion
is set to
true and not inside quoted atoms or strings. The initial
table maps each character onto itself. See also current_char_conversion/2.