Hi Мурат! Ciao does have partial support for UTF-8. Most things work, but you have to quote atoms, variable names with UTF-8 characters are not supported, and some builtins still do not distinguish between characters and bytes. E.g., the following should work:
------------------------------ 'mурат'('Текеев'). 'mурат'("Текеев"). ------------------------------
?- 'mурат'(X).
X = 'Текеев' ? ;
X = "Текеев" ? ;
no
?- read(X). |: 'Текеев'.
X = 'Текеев' ?
yes ?- read(X). |: "Текеев".
X = "Текеев" ?
We have some code that expands UTF-8 support and that we have not committed to the distribution for lack of time / demand / testing. If you need a particular feature please let us know and we will see if we can easily support it or point you to where it should be fixed.
Cheers, --Manuel H
On Wednesday, March 13, 2019 at 09:30:04 (+0300), Мурат Текеев wrote:
Hello!
I can not use in CIAO characters of the alphabet other than English, for example, Russian.
I have a Linux (Slackware 14.2) set up UTF-8 encoding. Compilation and installation are fine.
Does CIAO support UTF-8 encoding? If not, how can the sources be adjusted to work with characters of national alphabets other than English, for example, in the encoding CP1251 (Russian encoding Windows).
Maybe I'm doing something wrong?
Ready to provide you with any additional information if needed.
Sincerely, Murat Tekeev _______________________________________________ Ciao-users mailing list Ciao-users(a)cliplab.org http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users