使用管道（|）时列表中的统一顺序

Question

我很难弄清楚统一是按什么顺序完成的。我有以下查询：

[X, like | Z] = [I, Y, Prolog, language].

这给了我以下结果：

X = I,
Z = [Prolog, language],
Y = like.

然而，我期待的是：

X = I,
Y = like,
Z = [Prolog, language].

Prolog 统一术语是否有任何特定顺序？

编辑： 我有一种感觉，Prologan atom with a variable将a variable with an atom. 是这样吗？