fib(0, 0) :- !.
fib(1, 1) :- !.
fib(N, F) :-
    N > 1,
    N1 is N - 1,
    N2 is N - 2,
    fib(N1, F1),
    fib(N2, F2),
    F is F1 + F2.

:- between(0, 10, N),
   fib(N, F),
   format("fib(~w) = ~w~n", [N, F]),
   fail.
:- halt.