如何调整Prolog不同变量同值时的查询输出格式？

执行Prolog查询：

?- X = 10, Y = 10, Z = 10.

当前输出会把等值变量合并显示为：

X = Y, Y = Z, Z = 10.

若要改为逐个显示每个变量的绑定值，以SWI-Prolog为例，可按以下操作：

• 在执行目标查询前，先运行配置命令：

  ?- set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(0), spacing(next_argument)]).
  

• 之后再执行原查询，就能得到期望的输出：

  X = 10, Y = 10, Z = 10.
  

核心逻辑是通过answer_write_options标志调整输出规则，spacing(next_argument)参数会强制每个变量绑定单独输出，而非合并等值变量。其他Prolog解释器（如GNU Prolog）可查阅对应文档，找到控制输出格式的配置项，关闭变量等值合并优化即可。

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