% Fibonacci in LIFE
fib(0) -> 1.
fib(1) -> 1.
fib(N) -> fib(N-1) + fib(N-2) | N > 1.

% Query: ?- fib(10, X).