swi-prolog - 如何在 swi-prolog 桌面中为代码文件 (.pl) 设置 utf-8

Question

我正在尝试开发有关使用 swi-prolog 的常见问题解答(faq)。我将 swi-prolog 用于桌面(AMD64，多线程，版本 8.2.3)。
常见问题解答中的问题和答案以土耳其的母语编写。当我运行代码文件(k-base.pl 和 user.pl)时，土耳其语字符/like ş-ğ-ü-ö/看起来已损坏。
我想知道 utf-8 的代码文件是否有任何语法或 swi-prolog 桌面中是否有针对此语言问题的任何设置。

Answer 1

您可以尝试设置序言标志 调用 encoding .

Default encoding used for opening files in text mode. The initial value > is deduced from the environment. See encoding for details.

阅读 它与 current_prolog_flag/2

?- 
current_prolog_flag(encoding,X).
X = utf8.

设置它与 set_prolog_flag/2
文档说该标志的值是在程序启动时从环境中读取的。
那应该是环境变量 LANG (至少在 POSIX 系统上。关于这个变量的更多信息，例如在 GNU gettext manual 中)。在外壳中:

# bash code

$ echo $LANG
en_GB.UTF-8

因此您可能需要检查该环境变量是否影响 swipl .
例如，开始 swipl和:

# bash code

$ LANG=en_GB.ASCII swipl

然后:

?- 
current_prolog_flag(encoding,X).
X = iso_latin_1.

但是 swipl通常的代码有一些问题:

# bash code

$ LANG=en_GB.ISO-8859-1 swipl

然后:

?- 
current_prolog_flag(encoding,X).
X = text.

这是什么鬼？ encoding上的页面列出有效的编码键和 ISO-8859-1不是其中之一。

iso_latin_1: 8-bit encoding supporting many Western languages.This causes the stream to be read and written fully untranslated.

这意味着一个字节只是扩展为一个 2 字节(或更大)的内部 Unicode 代码点(尽管应该有一些过滤？；并非 ISO-8859-1 中的所有内容都映射到一个有效的 Unicode 代码点)。

text: C library default locale encoding for text files. Files areread and written using the C library functions mbrtowc() andwcrtomb(). This may be the same as one of the other locales, notablyit may be the same as iso_latin_1 for Western languages and utf8in a UTF-8 context.

不知道如何解释这一点。
无论如何，要在 bash shell 中设置环境变量:

# bash code

$ export LANG=en_GB.UTF-8
$ swipl

或者 您可以使用指定预期编码的选项加载源:
load_files/2 带有选项 encoding :

?- 
load_files([foo],[encoding(utf8)]).

一个测试
我刚刚在我的系统上使用 UTF-8 文件进行了测试，所有内容都设置为默认值:

# bash code

$ echo $LANG
en_GB.UTF-8

$ file citation.pl 
citation.pl: UTF-8 Unicode text

代码

citation :-
   писатель(1,Author),
   цитирование(1,Citation),
   format("Author: ~s~nCitation: ~s~n",[Author,Citation]).

% Facts!

писатель(1,"Р.П.Уоррен").
цитирование(1,"Ты должна сделать добро из зла, потому что его больше не из чего сделать.").

因此:

?- 
[citation].
true.

?- 
citation.
Author: Р.П.Уоррен
Citation: Ты должна сделать добро из зла, потому что его больше не из чего сделать.
true.

加载失败:

?- 
load_files([citation],[encoding(ascii)]).
ERROR: citation.pl:2:4: Syntax error: Operator expected
ERROR: citation.pl:8:2: Syntax error: Operator expected
ERROR: citation.pl:9:2: Syntax error: illegal_character
Warning: citation.pl:10:
Warning:    'citation.pl':10:0: non-ASCII character
true.

加载失败:

?- 
load_files([citation],[encoding(iso_latin_1)]).
ERROR: citation.pl:2:4: Syntax error: Operator expected
ERROR: citation.pl:8:2: Syntax error: Operator expected
ERROR: citation.pl:9:2: Syntax error: illegal_character
true.

成功:

?- 
load_files([citation],[encoding(utf8)]).
true.