2021-07-09 20:35:34 +02:00
|
|
|
#axiom
|
2021-07-09 23:30:37 +02:00
|
|
|
I(2,1)
|
2021-07-09 20:35:34 +02:00
|
|
|
I(1,1)
|
2021-07-09 23:30:37 +02:00
|
|
|
S
|
2021-07-09 20:35:34 +02:00
|
|
|
#rules
|
2021-07-09 23:30:37 +02:00
|
|
|
I(a,b) : a == 3; b <= 5 -> R(1)I(1, b + 1)
|
|
|
|
I(a,b) : a == 2; b <= 5 -> R(1)I(2, b + 1)
|
|
|
|
S -> Z\(90)[-S]S
|
2021-07-09 20:35:34 +02:00
|
|
|
R(a) : a < 5 -> R(a+0.15)
|
|
|
|
#end rules
|