我有一个可能包含也可能不包含原子“this”的术语。该术语也可能包含变量。我需要用变量 I 替换“this”。我该怎么做?我试图做这样的事情:
term_to_atom((f(a), g(this, b), ...), A),
tokenize_atom(A, L),
replace(this, I, L, L2)
它似乎奏效了。问题是,我需要回到原来的术语,我做不到......
我有一个可能包含也可能不包含原子“this”的术语。该术语也可能包含变量。我需要用变量 I 替换“this”。我该怎么做?我试图做这样的事情:
term_to_atom((f(a), g(this, b), ...), A),
tokenize_atom(A, L),
replace(this, I, L, L2)
它似乎奏效了。问题是,我需要回到原来的术语,我做不到......
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 .
看看这个谓词(replace/4):
replace(Term,Term,With,With) :-
!.
replace(Term,Find,Replacement,Result) :-
Term =.. [Functor|Args],
replace_args(Args,Find,Replacement,ReplacedArgs),
Result =.. [Functor|ReplacedArgs].
replace_args([],_,_,[]).
replace_args([Arg|Rest],Find,Replacement,[ReplacedArg|ReplacedRest]) :-
replace(Arg,Find,Replacement,ReplacedArg),
replace_args(Rest,Find,Replacement,ReplacedRest).
您需要的示例:
| ?- replace(f(1,23,h(5,this)),this,Var,Result).
Result = f(1,23,h(5,Var))
yes