给定替换 S 和列表 X，如何将 S 应用于 X

假设我有一个替代品S并列出Xs，其中每个变量出现在Xs也发生在S。我如何找到该列表S(Xs)，即通过应用替换获得的列表S到列表Xs.

更具体地说，我有一组谓词和 DCG 规则，看起来像

pat(P)   --> seg(_), P, seg(_).
seg(X,Y,Z) :- append(X,Z,Y).

如果我尝试匹配一个模式P对于列表中的变量，我收到替换S:

?- pat([a,X,b,Y],[d,a,c,b,e,d],[]).
   X = c,
   Y = e

我想应用替换S = {X = c, Y = e}到一个列表Xs有变量X and Y，并收到已进行替换的列表，但我不确定解决问题的最佳方法是什么。

如果我在 Haskell 中解决这个问题，我会构建一个从变量到值的有限映射，然后执行替换。等效的方法是在 DCG 规则中生成变量和值对的列表，然后使用该映射来查找所需的列表。然而，这不是一个合适的方法。

由于替换没有具体化（不是 Prolog 对象），因此您可以将列表绑定到变量并让统一完成其工作：

?- Xs = [a,X,b,Y], pat(Xs,[d,a,c,b,e,d],[]).
Xs = [a, c, b, e],
X = c,
Y = e .

Edit：如果您想在替换后保留原始列表，请使用copy_term:

?- Xs = [a,X,b,Y], copy_term(Xs,Ys), pat(Xs,[d,a,c,b,e,d],[]).
Xs = [a, c, b, e],
X = c,
Y = e,
Ys = [a, _G118, b, _G124] .