检查列表中的函子

Question

如果我有这个：

?:check_dv([v(1,x),v(2,y)], X).

如何检查第二个参数是什么，例如v(1,x) （在本例中为x ）？

一旦我有了列表的头： [Head | Tail] [Head | Tail] ， Head = [v(1,x)] ，如何检查？

Answer 1

如果您知道所有元素都是v(_,_) ，则可以简单地使用unification ：

Head = v(_, x)

如果 Head是这种形式，并且可以在所有方向正常工作，则可以成功。

如果列表中的元素不太相同，则可以使用arg/3 ：

arg(2, Head, x)

请注意，这仅在Head足够实例化的情况下有效 ，并且仅出于这个原因，它已经不那么受欢迎了 ：

?- arg(2, v(a,x), x).
true.

?- arg(2, Head, x).
ERROR: arg/3: Arguments are not sufficiently instantiated