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