import cp.

go =>
  N1 = 30,
  fib_rev(30,F1),
  println([n1=N1,fib1=F1]),

  F2 #= 20365011074,
  fib_rev(N2,F2),
  println([n2=N2,f2=F2]),

  F3 = 61305790721611591,
  fib_rev(N3,F3),
  println([n3=N3,F3]),
  nl.

table
fib_rev(0,1).
fib_rev(1,1).
fib_rev(N,F) :-
  N #> 0,
  F #> 0,
  N1 #= N-1,
  N2 #= N-2,
  fib_rev(N1,F1),
  fib_rev(N2,F2),
  F #= F1+F2.