Prolog中的斐波那契数列如何实现

斐波那契数列是一个经典的递归数列问题。在Prolog中，可以通过递归的方式来实现斐波那契数列。下面是一个示例实现：

% 斐波那契数列的定义
fib(0, 0).
fib(1, 1).
fib(N, F) :-
    N > 1,
    N1 is N - 1,
    N2 is N - 2,
    fib(N1, F1),
    fib(N2, F2),
    F is F1 + F2.

% 用法示例
% 计算第10个斐波那契数
% ?- fib(10, Result).
% Result = 55.

在这个实现中，我们定义了一个fib/2谓词，它接收一个整数N作为输入，返回第N个斐波那契数。首先定义了斐波那契数列中的前两个数为0和1，然后定义了递归规则，根据当前数的前两个数分别计算前两个数的斐波那契数，并将结果相加得到当前数的斐波那契数。