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