Ciao Prolog 1.15中set_prolog_flag(double_quotes, chars)设置无效求助

问题场景 #

使用Ciao Prolog 1.15版本，执行以下代码后，double_quotes标志已显示设置为chars，但"hello"仍返回ASCII码列表而非字符列表：

?- set_prolog_flag(double_quotes, chars).

yes

?- current_prolog_flag(double_quotes,X).

X = chars ?

yes

?- X = "hello".

X = [104,101,108,108,111] ?

解决思路 #

• 确认会话生效范围：重启Ciao Prolog后，先在顶层交互环境执行set_prolog_flag(double_quotes, chars).，再立即测试X = "hello"，避免会话中其他代码干扰标志生效。
• 尝试其他标志值：Ciao Prolog对字符串的处理有特殊实现，可尝试设置为atom或string：

  % 设置为原子类型
  ?- set_prolog_flag(double_quotes, atom).
  ?- X = "hello". % X会被绑定为原子hello
  % 设置为Ciao字符串类型
  ?- set_prolog_flag(double_quotes, string).
  ?- X = "hello". % X会被绑定为字符串"hello"
  

• 显式控制输出格式：即使内部是字符列表，默认输出可能转成ASCII码，可使用write_chars/1显式输出字符：

  ?- X = "hello", write_chars(X).
  hello
  X = [h,e,l,l,o]
  

• 查询版本专属文档：执行help(double_quotes).查看Ciao Prolog 1.15中该标志的具体说明，确认是否存在版本特有的使用限制。

内容的提问来源于stack exchange，提问作者goblinshark