Yes, that's correct! Interestingly, Erlang does encode lists of codes efficiently internally! The advantage of chars is that in this way, we obtain much more r

Yes, that's correct! Interestingly, Erlang does encode lists of codes efficiently internally! The advantage of chars is that in this way, we obtain much more readable answers to queries! The very first Prolog system, Prolog 0, already used lists of characters for strings. Later systems tended to interpret them as lists of codes, and we now see several new Prolog systems that (again) interpret them as characters.