:- retractall(fibo(_, _)).
fibo(1, X) :-
fibo(2, X) :-
fibo(N, X) :-
N1
is N
- 1, fibo
(N1
, A
), N2
is N
- 2, fibo
(N2
, B
),
Oi0gZHluYW1pYyBmaWJvLzIuCjotIHJldHJhY3RhbGwoZmlibyhfLCBfKSkuCgpmaWJvKDEsIFgpIDotCiAgWCBpcyAxLgoKZmlibygyLCBYKSA6LQogIFggaXMgMS4KCmZpYm8oTiwgWCkgOi0KICBOMSBpcyBOIC0gMSwgZmlibyhOMSwgQSksCiAgTjIgaXMgTiAtIDIsIGZpYm8oTjIsIEIpLAogIFggaXMgQSArIEIsCiAgYXNzZXJ0YSgoZmlibyhOLCBYKSA6LSAhKSku