Prolog赢得'；当它应该返回true（yes）时，它不会返回true（yes）

我正在运行此查询

？-mergelist（[1]，[1]）。

这是真的

但是我运行这个查询

？-mergelist（[1,2]，[1,2]）。

它返回false（no）

我不知道怎么了

---

我正在使用ECLiPSe 6.1，Prolog无法将[1,2]模式与以下任何模式匹配：

• []
• [X]

[十] 是专门为模式匹配一个元素列表而设计的

试试这个：

mergelist([],[],[]).
mergelist([X],[],[X]).
mergelist([],[Y],[Y]).

---

Prolog无法将[1,2]模式与以下任何模式匹配：

• []
• [X]

[十] 是专门为模式匹配一个元素列表而设计的

试试这个：

mergelist([],[],[]).
mergelist([X],[],[X]).
mergelist([],[Y],[Y]).