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