SWI-Prolog中的[a | b | c]评估是什么？

prolog中的管道操作符返回一个或多个原子头和尾部列表.

?- [a,b,c] = [a,b|[c]].
true.

在单个匹配中嵌套多个管道可以类似于以下内容：

?- [a,c] = [a|[b|[c]]].
true.

语句[a | b | c]推断a,b和c是什么？

编辑

到目前为止,我可以推断出的是：

?- [a,c] = [a|b|c].
false.

我更感兴趣的是找到答案的任何技术,而不是回答这个边界无用的问题.

EDIT2
我显然不太熟悉序言,一个简单的作业回答了我的问题…

?- R = [a|b|c].
R = [a| (b'|'c)].

(b’|’c)究竟发生了什么？

解决方法

因为我是你的讲师,所以这是我的答案.
(哦,我可以确认这不是家庭作业,它与实践考试有关).

语法[a | b | c]实际上似乎不是标准的Prolog,一些实现方式的解释不同. (如果我知道我可能没有使用它.)

有人把它解释为[a | [b | c]]. (按照我的意图)

但是使用SWI Prolog(也可能是其他)：

?- [a|b|c] = [a|[b|c]].
false.

(b’|’c)实际上是使用’|’而不是 ‘.’作为一个列表将是.所以,第二个|不被解释为构成列表的一部分.

为了证实这一点,以下成功：

   ?- X=(b|c),[a|b|c] = [a|X].
   X = (b'|'c) .

‘|’这似乎是另一个二进制运算符,就像’.’一样.

而不是[a | b | c] Prolog中的标准是使用[a,b | c].

(我只决定在编程范例中使用[a | b | c],因为它更直接地与F#中的符号a :: b :: c相关,我们只看到一个很小的Prolog,将涉及[a | [b | c]],然后给出[a,b | c]作为缩写.