[Prolog-standard] char_conversion/2