SWI Prolog 中的变量名称

我一直在使用 chr 库和 jpl 界面。不过我有一个一般性的询问。我将 SWI Prolog 中的约束发送到 CHR 程序中的 java 类的实例。问题是，例如，如果输入约束是 leq(A,B)，则变量名称消失，出现的变量名称以 _G 开头。即使我尝试在根本不使用接口的情况下打印 leq(A,B) ，也会发生这种情况。看来每当处理变量时，名称就会被替换为新的名称。我的问题是是否有办法进行映射。比如是否有办法知道_G123对应的是A等等。 非常感谢。

（这个问题与 CHR 无关，也不是 SWI 特有的）。

编写 Prolog 程序时使用的变量名称将被 Prolog 系统完全丢弃。原因是该信息无法用于准确打印变量。该变量可能有多个独立实例。因此，需要在变量名称中添加一些唯一标识符。此外，在运行时维护该信息会产生大量开销。

要看到这一点，请考虑一个谓词mylist/1.

?- [user].
|: mylist([]).
|: mylist([_E|Es]) :- mylist(Es).
|: % user://2 compiled 0.00 sec, 4 clauses
true.

在这里，我们使用了变量_E对于列表中的每个元素。顶层现在用唯一标识符打印所有这些元素：

?- mylist(Fs).
Fs = [] ;
Fs = [_G295] ;
Fs = [_G295, _G298] .
Fs = [_G295, _G298, _G301] .

第二个答案可能会打印为Fs = [_E]反而。但第三个呢？它不能打印为Fs = [_E,_E]因为元素是不同的变量。所以像Fs = [_E_295,_E_298]是我们能得到的最好的。然而，这将意味着大量额外的簿记工作。

但还有另一个原因，为什么将源代码变量名称与运行时变量相关联会导致极其复杂：在不同的地方，该变量可能有不同的名称。这是一个人为的例子来说明这一点：

p1([_A,_B]).

p2([_B,_A]).

和查询：

?- p1(L), p2(L).
L = [_G337, _G340].

您希望这两个元素起什么名字？第一个元素可能有名称_A or _B或者甚至更好：_A_or_B。甚至_Ap1_and_Bp2。这对谁来说有好处？

请注意，顶层查询中提到的变量名称将被保留：

?- Fs = [_,F|_], mylist(Fs).
Fs = [_G231, F] ;
Fs = [_G231, F, _G375] ;
Fs = [_G231, F, _G375, _G378] 

所以有一种方法可以获取该信息。关于阅读术语时如何获取SWI和YAP中的变量名称，请参考这个问题.