gets the code of a character or reversely.
If Char is an atom with length 1 then CharCode gets unified
with the code of Char.
If Char is a variable then Char gets unified with the character
belonging to CharCode.
Char character (atom with length=1)
CharCode integer (character code of unicode charater
between 0'\u0000 and 0'\uffff)
| char_code('a', X). | Succeeds with substitution X <- 97 |
| char_code(Y, 98). | Succeeds with substitution Y <- 98 |
| char_code('c', 99). | Succeeds. |
This predicate is part of the ISO-Prolog Standard.