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

我正在尝试寻找广义斐波那契序列（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).

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

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

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