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