Prolog 替换

如何用包含要替换的变量的另一个列表替换一个列表。例如

rep([x, d, e, z, x, z, p], [x=z, z=x, d=c], R).
R = [z, c, e, x, z, x, p]

x 到 z 和 z 在替换后不会改变。

到目前为止我只做了没有清单的那一项

rep([], _, []).
rep(L1, H1=H2, L2) :-
   rep(L1, H1, H2, L2).

rep([],_,_,[]).
rep([H|T], X1, X2, [X2|L]) :-
   H=X1,
   rep(T,X1,X2,L),
   !.
rep([H|T],X1,X2,[H|L]) :-
   rep(T,X1,X2,L).

如果您使用 SWI-Prolog，并在那里找到模块 lambda.pl ：http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/lambda.pl你可以写 ：

:- use_module(library(lambda)).

rep(L, Rep, New_L) :-
    maplist(\X^Y^(member(X=Z, Rep)
              ->  Y = Z
              ;   Y = X), L, New_L).