fib.prolog