fib (0,0).
fib (1,1).
fib (N,X) :- fib (N - 1, X) + fib (N - 2, X)