prolog - 使用 SICStus Prolog 推广斐波那契数列

Question

我正在尝试为广义斐波那契数列 (GFS) 的查询找到解决方案。问题是:有没有第 12 个数字是 885 的 GFS？前 2 个数字可能限制在 1 到 10 之间。

我已经找到了在从 (1, 1) 开始的序列中找到第 N 个数字的解决方案，我在其中明确定义了初始数字。这是我为此准备的:

fib(1, 1).
fib(2, 1).

fib(N, X) :-
    N #> 1,
    Nmin1 #= N - 1,
    Nmin2 #= N - 2,
    fib(Nmin1, Xmin1),
    fib(Nmin2, Xmin2),
    X #= Xmin1 + Xmin2.

对于提到的查询，我认为以下方法可以解决问题，我重用 fib 方法而不显式定义初始数字，因为这现在需要动态完成:

fib(N, X) :-
    N #> 1,
    Nmin1 #= N - 1,
    Nmin2 #= N - 2,
    fib(Nmin1, Xmin1),
    fib(Nmin2, Xmin2),
    X #= Xmin1 + Xmin2.

fib2 :-
    X1 in 1..10,
    X2 in 1..10,
    fib(1, X1),
    fib(2, X2),
    fib(12, 885).

...但这似乎不起作用。

用这种方式定义初始数字是不可能的，还是我做错了什么？我不是在寻求解决方案，但我将不胜感激任何可以帮助我解决此问题的建议。

Answer 1

在 SWI-Prolog 下:

:- use_module(library(clpfd)).

fib(A,B,N,X):-
    N #> 0,
    N0 #= N-1,
    C #= A+B,
    fib(B,C,N0,X).
fib(A,B,0,A).

task(A,B):-
    A in 1..10,
    B in 1..10,
    fib(A,B,11,885).