how about extending unicode to names

I tried an atom name and a variable name:

?- X = _äüö .
error parsing query: 
?- X = äüö .
error parsing query: 

Didn’t work:

In SWI-Prolog the same works:

?- X = äüö .
X = äüö.
?- X = _äüö .
X = _äüö.

[ghost]

@triska I found already an issue about quoted strings:

writeq should escape non-printables, not only quote them https://github.com/tau-prolog/tau-prolog/issues/195

[ghost]

I made on purpose an ä, ü, ö example in my Unicode request. In Maori you have:

   a macron = ā

But you don’t have to go to New Zealand, to find non-ascii in the alphabeth. In Switzerland/ Germany/Austria there are ä, ü, ö, and

they are not homoglyphs to a, u, o. You get different meaning with and without them. Here is an example:

    schön = beautiful

    schon = already

So be careful with any sanitizing, you might erase meaning.