【ProLog - 3.0 进阶：递归】

【ProLog中的递归】

如果递归中的一个或多个规则引用谓词本身，则对该谓词使用“递归”定义

在使用时，这往往像一条食物链或者族谱的构成（A的爸爸的爸爸，即A的爷爷，是A的长辈）

比如下面这个例子：

在这个例子中，我们只是设计了两级的后代判断，也就是child的child，进行三级的判断就会报出No

对于这个，我们有两种解决方案，一种是简单粗暴的加判断，显然这是很麻烦且没办法推广的（族谱有100代程序员岂不是要写死了？）

其二，就是利用“递归”，对“后代”设定一个额外的标准

descend(X,Y):- child(X,Z), descend(Z,Y)

这样的话就和例一的情况差不多了

例三：继承者Successor

如果定义一个0是一个数字，再定义一个规则：如果X是一个数字，那么X的继承者succ(X)也是一个数字

numeral(0).
numeral(succ(X)):- numeral(X).

此时，如果我们问询哪些X是数字，则会得到下面的结果