A solution to the Fibonacci problem using JEOPS.