prolog - Prolog 中的标签变量

Question

我正在编写一个返回变量列表的 Prolog 谓词。现在变量列表是_（下划线）变量，例如：

Xs = [_2654, _2690],
.
.
.

我想用增加的索引来标记这些变量，例如：

Xs = [X1, X2],
.
.
.

有什么技巧可以标记这些变量吗？

编辑：所以这可能不容易做到，也可能没有必要，但因为一些评论者想要更多信息，我正在实现一个逻辑加法电路，它由全加器组成。

full_adder(X, Y, Cin, Z, Cout)

并想要有意义的变量名称，例如：

?- addition_circuit(2, Xs, Ys, Zs, Fs).
   Xs = [X1, X2],
   Ys = [Y1, Y2],
   Zs = [Z1, Z2, Z3],
   Fs = [ full_adder(X1, Y1, 0, Z1, C2),
   full_adder(X2, Y2, C2, Z2, Z3)
   ]

谢谢您的帮助。我现在将坚持使用下划线变量。

标签： prologprolog-toplevel