--- /dev/null
+import "StandardLibrary"
+
+mapping relation Fib Integer Integer
+
+rule FibRecurrence where
+ @when
+ Fib ?n (?a + ?b)
+ ?n >= 2
+
+ @where
+ Fib (?n-1) ?b
+ Fib (?n-2) ?a
+
+rule Init where
+ @when
+ Fib ?x 1
+ ?x < 2
+
+rule Seed where
+ @where
+ Fib 20 ?hmm
+
+rule PrintIt where
+ @when
+ Fib ?n ?a
+
+ @to
+ Execute (print "\(?n) -> \(?a)")
+
+main = transformation OneShotForward where
+--
+()