SWI Prolog为列表列表中的所有变量提供特定值

我有这样一个列表：

[[X，Y]，[X]，[Y]，[X，Y，Z]]

现在我想给X的每个自由变量赋值“true”。比如：

---

如何存档？

这些都不是不同的变量，只有一个变量

X

会多次出现

因此，您可以简单地将

true

分配给

X

。表达式中的该项不相关。您可以通过以下方式实现此功能：

assign_val(X, R, X, R).

---

但是正如您所看到的，这里不需要

R

。

在Prolog提示符下，输入：

R=[[X，Y]，[X]，[Y]，[X，Y，Z]]，X=true。

然后查看您得到的结果。

assign_val(X, R, X, R).