变量表示

Question

我有一个术语，例如 a(t1,t2,t3)，我使用 numbervars/3 对其进行变量化。然后我需要提取该术语的变量，但变量显示为：

a('$VAR'(0),'$VAR'(1),'$VAR'(2))

问题是 prolog 似乎无法将这些术语识别为变量：

?- term_variables(a('$VAR'(0),'$VAR'(1),'$VAR'(3)),L).
L = [].

或者更简单：

?- var('$VAR'(0)).
false.

另一方面，如果我使用copy_term/2，它可以正确地看到变量，但仍然无法提取它们：

?- copy_term(a('$VAR'(0),'$VAR'(1),'$VAR'(3)),Term),term_variables(Term,Vars).
Term = a(A, B, D),
Vars = [].

有人知道我做错了什么吗？我真的陷入困境，因此无法在我正在开发的程序中进一步工作。

预先非常感谢您。

Answer 1

我不确定您如何使用 numbervars/3< /code>，其实现是为了“...将 [a term] 的自由变量与术语 $VAR(N) 统一” ，不能直接用来转动术语将 a(t1,t2,t3) 转换为 a('$VAR'(0),'$VAR'(1),'$VAR'(2)) 作为您建议，除非 t1、t2 和 t3 是不同变量的占位符。

SWI 的 '$VAR'(N) >numbervars/3 生成的确实是术语，而不是变量（如手册中所述），因此不能将其视为变量。

请注意，如果您看到以下内容：

?- copy_term(a('$VAR'(0),'$VAR'(1),'$VAR'(3)),Term).
Term = a(A, B, D).

发生的情况是行 Term = a(A, B, D). 是通过类似 write_term/2 到控制台，可以将其配置为描绘某些术语，例如 <代码>'$VAR'(N)作为命名变量（这可能会产生误导）。请注意，如果您尝试这样做：

?- copy_term(a('$VAR'(0),'$VAR'(1),'$VAR'(3)),Term), 
   write_term(Term, [numbervars(false)]).
a($VAR(0), $VAR(1), $VAR(3))
Term = a(A, B, D).

调用 write_term/2 此处显式禁用 numbervars 选项，并打印出 a/3 参数的 true 绑定术语，这确实是$VAR(N) 术语。打印到控制台的下一行（即 Term = a(A, B, D)）正在执行类似于启用 numbervars 的操作选项（也许是为了可读性）。

如果您需要“变量化”一个术语，我可以建议按照以下方式进行操作：

% takes a term T, a list of [Term:Variable] replacements R, and makes V:

variablize(T, R, V) :-
    member(R0:V, R),
    R0 == T, !.

variablize([T|Ts], R, [NT|NTs]) :-
    !,
    variablize(T, R, NT),
    variablize(Ts, R, NTs).

variablize(T, R, NT) :-
    compound(T), !,
    T =.. [F|As],
    variablize(As, R, NAs),
    NT =.. [F|NAs].

variablize(T, _, T).

示例：

?- variablize(a(t1,t2,t3), [t1:X, t2:Y, t3:Z], T).
T = a(X, Y, Z).

假设您知道要替换哪些子元素（例如，t2）以及替换为哪些变量。这个特定的实现可以更准确地称为“replace/3”，因为它将查找并替换输入项中出现的任何子元素（即使它们是其他变量！）。