prolog - 在 Prolog 中计算斐波那契数列，尾递归

Question

我想在 Prolog 中以递归尾模式计算斐波那契数列。

fibonacci(0,0).
fibonacci(1,1).
fibonacci(N,Result) :-
   fibonacci(N,1,0).

fibonacci(N,Result,Count) :-
   Count < N,
   !,
   Count1 is Count + 1,
   Result1 is  Result + Count,
   fibonacci(N,Result1,Count1).  
fibonacci(N,Count,Count).

但是结果不正确，请问是什么问题？

Answer 1

在 Result1 is Result + Count 行中，您只需添加 Count 变量 Result 并添加 0,1,2,... 但在斐波那契中，您需要添加两个前一个，例如 0,1 ,(1+0=1),(1+1=2),....我建议这个实现:

fib(0, 0).
fib(1, 1).
fib(N,Result):-fibonacci(N,0,1,Result).

fibonacci(0,N,_,N).
fibonacci(N, Prev1,Prev2,Result):-
   N>0,
   New_Prev2 is Prev1+Prev2,
   N1 is N-1,
   fibonacci(N1,Prev2,New_Prev2,Result).