list - 有人可以向我解释一下管道 "|"字符在 Prolog 中是如何工作的吗？

Question

我有这个代码:

 [a,b,[]]=[First,Second,Third|Fourth].

它给了我以下输出:

 First = a, Second = b, Third = Fourth, Fourth = [].

我想知道 Third被分配到 Fourth .

Answer 1

在这里查看我的答案:https://stackoverflow.com/a/7559044/467473有关如何实现 Prolog 列表的详细信息。
基本上，序言列表是一种简单的数据结构。空列表由原子 [] 表示.非空列表是结构 ./2 .此结构中的左参数是列表的头部；正确的参数是列表的尾部，它是另一个列表(空列表 [] 或非空列表( ./2 )。
友好的列表符号只是在此之上的语法糖。表达式 [H|T]与表达式 .(H,T) 完全相同.表达式 [a,b|T]与 .(a,.(b,T)) 完全相同.和表达式 [a,b,c]与 .(a,.(b,.(c,[]))) 完全相同.