相关疑难解决方法(0)

我只是无法弄清楚如何打印的价值X.这是我在顶级尝试的内容:

59 ?- read(X).
|: 2.
X = 2.

60 ?- write(X).
_G253
true.

什么是_G253？我不想索引号,我想要X值绑定.我该怎么做才能打印出价值X？

有没有办法配置YAP(和/或SWI prolog),以便它们在任何调用term_to_atom/2？中保留变量名称.

例如,当我执行此操作时:

term_to_atom(member(X, [1,2]), A).

我得到了这个答案:

A = 'member(_131405,[1,2])'

哪里X被其内部代表所取代.

但是,我想得到这个答案:

A = 'member(X,[1,2])'

谢谢你的帮助!