SWI-Prolog的递归 _电脑

递归是Prolog中最本家儿要而又最难于把握的概念之一， Prolog是一门声明式编程说话，当你处置事物调集时，如列表或树，你会经常利用递归而不是迭代。
1SWI-Prolog的算术运算
1SWI-Prolog的调试

文章插图

需要这些哦
电脑
SWI-Prolog
牛刀小试——寻找祖先和儿女的法式1【SWI-Prolog的递归】让我们先从这一个简单的例子来领会递归的性质吧。
在ancestor子句中的一个子句会利用ancestor子句。在这个例子中， ancestor(Z, Y)是一个递归的子方针。 father 是实现递归子方针的焦点事实。法则ancestor/2有两个子句。
若是一个法则由多个子句构成，那么此中一个子句为真，则这个法则为真。可以把子句间的逗号算作是前提“与”的关系，把子句之间的句号算作是前提“或”的关系。

文章插图

2我们可以测试一下这个法则：
我们起首扣问命题ancestor(john_boy_sr, john_boy_jr).和ancestor(zeb, john_boy_jr).是否为真，接着给出变量Who ，别离寻找zeb的儿女和john_boy_jr的祖先。
我们已经可以在常识库中利用这个法则实现两个目标：寻找祖先和儿女。

文章插图

渐入佳境——操纵递归计较阶乘1一个整数的阶乘界说为，该数与小于它的全数正整数的积，一个整型数的阶乘用该数及后面的感慨号暗示（!）。好比：5! = 5 × 4 ×3 × 2 × 1 。一般形式为：
n! = n × (n - 1) × (n - 2) ×……× 3 × 2 × 1
然而，一个整型数的阶乘还可能暗示为这个整型数与公比其小1 的阿谁整型数的阶乘的乘积，例如：5!=5×4! 。这种阶乘的界说体例就表现了递归，因为它操纵阶乘自界说阶乘。是以，任一正整数的阶乘可用下面递归界说给出：
n! = n × (n-1)!

文章插图

2在数学的界说上， 0的阶乘等于1 。是以，阶乘的完整界说如下：
0! = 1（遏制前提）
n! = n x (n - 1)!（递归界说）
转换当作Prolog法式如下图所示：

文章插图

3在扣问后，获得成果后按回车。运行成果如图所示。值得注重的是，在常识库中遏制前提应该放在递归法则前面，这一点是至关主要的。因为若是不是如许，遏制前提将永远不会知足。假如把法则放在遏制前提前面，那么Prolog反复进入常识库时将起首碰到它，并与其进行匹配，即使是应知足遏制前提时，也毫不会与遏制前提匹配，从而引起无限递归。