@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix : <try#>.

{(?X) :fib ?Y} <= {(?X 0 1) :fib ?Y}.

{(1 ?A ?B) :fib ?B} <= {}.
{(?X ?A ?B) :fib ?Y} <= {?X math:greaterThan 1. ((?X 1)!math:difference ?B (?A ?B)!math:sum) :fib ?Y}.

