阶乘在序言中（一般递归） - 为什么条款的顺序是有意义的

Question

为什么这个阶乘实现不起作用：

factorial(0, B) :- B is 1. 
factorial(A, B) :- 
        A > 0, 
        Ax is A-1, 
        B is A*Bx, 
        factorial(Ax, Bx). 

而且这个工程：

factorial2(0, B) :- B is 1. 
factorial2(A, B) :- 
        A > 0, 
        Ax is A-1, 
        factorial2(Ax, Bx), 
        B is A*Bx. 

Answer 1

因为is/2需要右手方面要完全实例化。

在你的第一个例子中，Bx没有实例化，在右边使用，而在你的第二个例子中，它在被实例化后使用。