current_prolog_flag double_quotes DCG（代码或字符）？

在使用 SWI Prolog DCG 时，我注意到有些人注意到

:- set_prolog_flag(double_quotes, codes).

Jan http://www.swi-prolog.org/pldoc/man?section=strings

而其他人则注意到

:- set_prolog_flag(double_quotes, chars).

false https://stackoverflow.com/a/8269897/1243762, Markus https://www.metalevel.at/prolog/dcg, mat https://stackoverflow.com/a/32871568/1243762

与 DCG 和短语一起使用时有什么区别（如果有的话）？

参考

字符串类型及其双引号语法 http://www.swi-prolog.org/pldoc/man?section=strings
DCG https://www.metalevel.at/prolog/dcg
DCG语法规则 http://www.swi-prolog.org/pldoc/man?section=DCG
双引号 http://www.swi-prolog.org/pldoc/man?section=flags
设置序言标志 http://www.swi-prolog.org/pldoc/man?predicate=set_prolog_flag/2

正如名字一样double_quotes意味着，这个标志如何影响双引号 (i.e.: ") 进行处理。

无论此类报价是否与 DCG 一起使用，这都适用。但是，它在与 DCG 结合使用时特别有用，因为您可以使用：

?- phrase(nt(NT), "test").
  

从而自动将要解析的短语视为字符列表（在本例中：[t,e,s,t]）。这对于交互式测试用例来说非常有用。

The 错误回答 https://stackoverflow.com/a/8269897/1613573您链接的内容很好地解释了这一点。另请注意答案中的以下引用：

This notation [using chars!] gives more readable answers. It can be even more compactly displayed since the double quote notation can be used for printing any list of one-char atoms.

很清楚chars产生比以下内容更易读的答案codes。例如：

?- Xs = "hello".
Xs = [h, e, l, l, o].
  

与，与codes:

?- Xs = "hello".
Xs = [104, 101, 108, 108, 111].
  

(Ahem.)

Historically, Han shot first https://en.wikipedia.org/wiki/Han_shot_first chars came first! Only later, this was changed to using codes by default. A quite unfortunate choice, in my view. Other languages like Haskell work like Prolog originally did:

Hugs> :t last
last :: [a] -> a
Hugs> :t "test"
"test" :: String
Hugs> last "test"
't'