Функция в прологе с возвратом

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 

Пролог предикат 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 будет результат, который вы хотели.