next up previous contents index
Next: Arithmetic Up: Built-in predicates Previous: Operators   Contents   Index

Character Conversion

Although I wouldn't really know for what you would like to use these features, they are provided for ISO complicancy.

char_conversion2+CharIn, +CharOut Define that term-input (see read_term3) 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_conversion2. current_char_conversion2?CharIn, ?CharOut Queries the current character conversion-table. See char_conversion2 for details.



Dr. Richard Botting 2001-12-12