fib(0,0).
fib(1,1).
fib(M,N) :- M > 1 -> ((M1 is M-1, fib(M1,N1)) // (M2 is M-2, fib(M2,N2))) -> N is N1+N2.
?- fib(13,M).
