功能的序言與回溯

Question

功能是

backtracking function f(n,k)

或

f(n, k) = n * k,   if n = k 
     = n ∗ f(n−1, k), if n > k 
     = k ∗ f(n, k−1), if n < k 

Prolog的謂詞fn/3爲了實現上述功能分配

你能不能幫我解決以上功能？ 謝謝

Answer 1

你可以試試下面的謂詞。

f(N, K, R):- 
    N = K , 
    R is N*K,!. 

f(N, K, R):- 
    N>K, 
    Nx is N-1, 
    f(Nx,K,Res), 
    R is N*Res. 

f(N, K, R):- 
    N<K, 
    Kx is K-1, 
    f(N,Kx,Res), 
    R is K * Res. 

該R將有你想要的結果。