在 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).

Answer 2

这里是尾递归solution.You需要用到累加器。本质上，您是在向后计算斐波那契数列。当你到达 1 时，你就停止了。

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

fib(1,_,Accum, Accum).
fib(N,Val,Accum,Result) :-
N1 is N-1,
AccumNew is Val +Accum,
fib(N1, Accum,AccumNew,Result).

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

Calculate Fibonacci Serie in Prolog, Tail Recursive

prolog

fibonacci

tail-recursion