1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
// Fibonacci number on unary natural numbers
fib(r)><Z => r~Z;
fib(r)><S(x) => fibS(r)~x;
fibS(r)><Z => r~S(Z);
fibS(r)><S(x) => Dup(x1,x2)~x, add(r,r2)~r1, fib(r2)~x2, fibS(r1)~x1;
//------ ADD ------
//Add para
add(r,x)><Z => r~x;
add(r,x)><S(y) => r~S(w), add(w,x)~y;
//Add_Seq
//add(r,y)><Z => y~r;
//add(r,y)><S(x) => add(r, S(y))~x;
// ------ DUP ------
// Dup is defined as built-in:
//
// Dup(x1,x2)><Z => x1~Z, x2~Z;
// Dup(x1,x2)><S(x) => x1~S(w1), x2~S(w2), Dup(w1,w2)~x;
// Execution
// Fib 9
fib(r)~S(S(S(S(S(S(S(S(S(Z)))))))));
prnat r;
free r;
|
