Generalizing Fibonacci sequence with SICStus Prolog

Question

I\'m trying to find a solution for a query on a generalized Fibonacci sequence (GFS). The query is: are there any GFS that have 885 as their 12th number? The initial 2 numbe

Answer 1

Define a predicate gfs(X0, X1, N, F) where X0 and X1 are the values for the base cases 0 and 1.