-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
---
-()