【Prolog】4.0 List

【简介】
列表是Prolog编程中常用的一种重要的递归数据结构
列表是一个有限的元素序列
实例：

所有Prolog术语都可以是列表的元素,一个非空的List应该含有两个元素：头元素(Head)和尾元素(tail)
头是指List中的第一个元素，除去头都是尾
“列表的尾部也总是一个列表 / The tail of a list is always a list”

空List无头无尾

【操作：分割】
Prolog有一个特殊的内置操作符|，它可以用来将列表分解为它的头部和尾部，|操作符是编写Prolog的列表的操作的关键谓词

注意Y后面跟的|操作符

【操作：匿名变量】

当我们只对列表中的某几个元素感兴趣，可以使用匿名变量_来代替其它元素，表示我们不感兴趣
匿名变量的每次出现都是独立的，也就是说可以绑定到不同的东西上

【操作：搜索与递归 member/2】
我们想知道的最基本的事情之一是，某个东西是否是列表的元素，所以我们写一个谓词，当给定一个术语X和一个列表L时，告诉我们X是否属于L
我们通常把这个操作（谓词）叫做member/2，值得注意的是，这种操作需要一个“边界”（见后）让递归停止

在这项递归操作中，我们需要做的是检测头部——分割尾部并得到新的list——检测头部，如此循环以达到递归搜索的作用

可以参考我在Java中记录的关于数组与递归的例子：https://www.cnblogs.com/RetenQ/p/14623634.html 他们的使用递归的核心思想是一样的

下面我们再看看这个a2b的例子，它会用于检测两个List的长度是否相等
同Java，我们先寻找到基本情况——当然就是两个List都是空
a2b([],[]).
随后，对其它情况作递归操作
a2b([a|L1],[b|L2]):- a2b(L1,L2).