階乘在序言中（一般遞歸） - 爲什麼條款的順序是有意義的

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沒有實例化，在右邊使用，而在你的第二個例子中，它在被實例化後使用。