diff options
Diffstat (limited to 'sample/recursive_functions/fib_9.in')
| -rw-r--r-- | sample/recursive_functions/fib_9.in | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/sample/recursive_functions/fib_9.in b/sample/recursive_functions/fib_9.in new file mode 100644 index 0000000..7c4af1f --- /dev/null +++ b/sample/recursive_functions/fib_9.in @@ -0,0 +1,16 @@ +// Fibonacci number + +// Rules +fib(ret) >< (int n) +| n == 0 => ret~0 +| n == 1 => ret~1 +| _ => fib(cnt1)~(n-1), fib(cnt2)~(n-2), Add(ret, cnt2)~cnt1; + + +// Note: Add is implemented as a built-in agent such that: +// Add(ret, int m) ~ (int n) --> ret~(m+n); + +// Nets +fib(ret)~9; +ret; + |