prolog - 用变量替换原子

Question

我有一个术语，可能包含也可能不包含原子“this”。该术语还可以包含变量。我需要用变量 I 替换“this”。我该怎么做？我尝试做这样的事情:

term_to_atom((f(a), g(this, b), ...), A),

tokenize_atom(A, L),

replace(this, I, L, L2)

这似乎有效。问题是，我需要回到原来的术语，但我做不到......

Answer 1

SWI-Prolog 有 atomic_list_concat/2和 atom_to_term/2这应该可以帮助您回到原来的术语。

main :-
    term_to_atom((f(a), g(this, b)), A),
    tokenize_atom(A, L),
    replace(this, 'I', L, L2),
    atomic_list_concat(L2, A2),
    atom_to_term(A2, T, []),
    writeln(T).

?- main.
f(a),g(_G69,b)
true .