prolog中列表的头部可以由多个元素组成吗？

Question

例如，如果我有一个列表[1, 2| 3]，那么头部是1，2还是尾部3？或者头部仍然是1和尾部2, 3？

Answer 1

  

注意：[1, 2| 3] 不列表; [1, 2 | [3]]是。

简短回答：头部只有一个元素，[1, 2| [3]]是[1 | [2 | [3]]]的语法糖，所以它是一个列表{ {1}}。

Prolog的列表就像Lisp列表一样：它们由两个可能的值组成：空列表[1, 2, 3]，以及带有[] * head的“cons”[H|T]和{{ 1}} tail 。

然而，大多数Prolog口译员会允许像H和T这样的语法糖。使列表处理更加方便。