Я пишу предикат Prolog, который возвращает список переменных. Прямо сейчас список переменных - это _ (подчеркнутые) переменные, например:
Xs = [_2654, _2690],
.
.
.
И я хотел бы пометить эти переменные с возрастающим индексом, например:
Xs = [X1, X2],
.
.
.
Есть ли какая-нибудь хитрость для обозначения этих переменных?
Редактировать: Так что это, вероятно, не легко сделать и, вероятно, не нужно, но, поскольку некоторые комментаторы хотели больше информации, я реализовал схему сложения logi c , который состоит из полных сумматоров.
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)
]
Спасибо за помощь. Сейчас я буду придерживаться подчеркнутых переменных.