prolog中的斐波那契实现

Question

我正在尝试自己实现斐波那契数列。这就是我所拥有的：

fibo2(N, F) :-
    fibo2(0, 1, 0, N, F).

fibo2(N-F, F, N-1, N, F).

fibo2(P, S, C, N, F) :-
    C < N,
    T is S,
    S1 is P + S,
    C1 is C + 1,
    fibo2(T, S1, C1, N, F).

我知道还有其他实现，但我不知道为什么这不起作用。当我使用fibo2(3, 2) 进行跟踪时，我认为这个调用应该是真的：

fibo2(1, 2, 2, 3, 2) ? creep

但它返回 false... 一些帮助将不胜感激

Answer 1

首先，T is S 行没有任何作用。当您不需要执行算术运算时，更喜欢使用带有(=)/2 的标准统一。在这里，您可以直接拨打fibo2(S, S1, C1, N, F)。

那么，您的递归没有基本情况。 fibo2/5 的第一个子句在这里永远不会成立。

你的意思当然是：

fibo2(P, S, C, N, F) :-
    P is N - F,
    S is F,
    C is N - 1.

此处将执行算术（在头部进行统一时，不执行算术，操作完全是符号）。

我不确定你的 N 和 F 代表什么，所以我不会进一步评论你的代码，但这应该已经解决了一些问题。