RosettaCodeData/Task/Fibonacci-sequence/Picat/fibonacci-sequence-7.picat

28 lines
362 B
Plaintext

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.