3 incremental Delta : prime : Single tuple event list

Interpreter: 3 incremental Delta Program: prime Selection function: Single tuple event list

α Delta New D0 D1 D2
0 max(17) max(17) max(17) - -
num(2)
1 num(2) num(2) num(2) - num(3)
prime(2) ← not(mult(2))
2 num(3) prime(2) prime(2) ← not(mult(2)) - mult(4,2)
prime(2) ← not(mult(2))       println(2,prime(2))
3 num(3) println(2,prime(2)) println(2,prime(2)) - -
mult(4,2)
println(2,prime(2))
4 num(3) num(3) num(3) - num(4)
mult(4,2)       prime(3) ← not(mult(3))
5 num(4) prime(3) prime(3) ← not(mult(3)) - mult(9,3)
prime(3) ← not(mult(3))       println(3,prime(3))
mult(4,2)
6 num(4) println(3,prime(3)) println(3,prime(3)) - -
mult(4,2)
mult(9,3)
println(3,prime(3))
7 num(4) num(4) num(4) - num(5)
mult(4,2)       prime(4) ← not(mult(4))
mult(9,3)
8 num(5) mult(4,2) mult(4,2) - mult(4)
prime(4) ← not(mult(4))       mult(6,2)
mult(4,2)
mult(9,3)
9 mult(4) mult(4) mult(4) prime(4) ← not(mult(4)) -
num(5)
prime(4) ← not(mult(4))
mult(6,2)
mult(9,3)
10 num(5) num(5) num(5) - num(6)
mult(6,2)       prime(5) ← not(mult(5))
mult(9,3)
11 num(6) prime(5) prime(5) ← not(mult(5)) - println(5,prime(5))
prime(5) ← not(mult(5))
mult(6,2)
mult(9,3)
12 num(6) println(5,prime(5)) println(5,prime(5)) - -
mult(6,2)
mult(9,3)
println(5,prime(5))
13 num(6) num(6) num(6) - num(7)
mult(6,2)       prime(6) ← not(mult(6))
mult(9,3)
14 num(7) mult(6,2) mult(6,2) - mult(6)
prime(6) ← not(mult(6))       mult(8,2)
mult(6,2)
mult(9,3)
15 mult(6) mult(6) mult(6) prime(6) ← not(mult(6)) -
num(7)
prime(6) ← not(mult(6))
mult(8,2)
mult(9,3)
16 num(7) num(7) num(7) - num(8)
mult(8,2)       prime(7) ← not(mult(7))
mult(9,3)
17 num(8) prime(7) prime(7) ← not(mult(7)) - println(7,prime(7))
prime(7) ← not(mult(7))
mult(8,2)
mult(9,3)
18 num(8) println(7,prime(7)) println(7,prime(7)) - -
mult(8,2)
mult(9,3)
println(7,prime(7))
19 num(8) num(8) num(8) - num(9)
mult(8,2)       prime(8) ← not(mult(8))
mult(9,3)
20 num(9) mult(8,2) mult(8,2) - mult(8)
prime(8) ← not(mult(8))       mult(10,2)
mult(8,2)
mult(9,3)
21 mult(8) mult(8) mult(8) prime(8) ← not(mult(8)) -
num(9)
prime(8) ← not(mult(8))
mult(9,3)
mult(10,2)
22 num(9) num(9) num(9) - num(10)
mult(9,3)       prime(9) ← not(mult(9))
mult(10,2)
23 num(10) mult(9,3) mult(9,3) - mult(9)
prime(9) ← not(mult(9))       mult(12,3)
mult(9,3)
mult(10,2)
24 mult(9) mult(9) mult(9) prime(9) ← not(mult(9)) -
num(10)
prime(9) ← not(mult(9))
mult(10,2)
mult(12,3)
25 num(10) num(10) num(10) - num(11)
mult(10,2)       prime(10) ← not(mult(10))
mult(12,3)
26 num(11) mult(10,2) mult(10,2) - mult(10)
prime(10) ← not(mult(10))       mult(12,2)
mult(10,2)
mult(12,3)
27 mult(10) mult(10) mult(10) prime(10) ← not(mult(10)) -
num(11)
prime(10) ← not(mult(10))
mult(12,2)
mult(12,3)
28 num(11) num(11) num(11) - num(12)
mult(12,2)       prime(11) ← not(mult(11))
mult(12,3)
29 num(12) prime(11) prime(11) ← not(mult(11)) - println(11,prime(11))
prime(11) ← not(mult(11))
mult(12,2)
mult(12,3)
30 num(12) println(11,prime(11)) println(11,prime(11)) - -
mult(12,2)
mult(12,3)
println(11,prime(11))
31 num(12) num(12) num(12) - num(13)
mult(12,2)       prime(12) ← not(mult(12))
mult(12,3)
32 num(13) mult(12,2) mult(12,2) - mult(12)
prime(12) ← not(mult(12))       mult(14,2)
mult(12,2)
mult(12,3)
33 mult(12) mult(12) mult(12) prime(12) ← not(mult(12)) -
num(13)
prime(12) ← not(mult(12))
mult(12,3)
mult(14,2)
34 num(13) mult(12,3) mult(12,3) - mult(15,3)
mult(12,3)
mult(14,2)
35 num(13) num(13) num(13) - num(14)
mult(14,2)       prime(13) ← not(mult(13))
mult(15,3)
36 num(14) prime(13) prime(13) ← not(mult(13)) - println(13,prime(13))
prime(13) ← not(mult(13))
mult(14,2)
mult(15,3)
37 num(14) println(13,prime(13)) println(13,prime(13)) - -
mult(14,2)
mult(15,3)
println(13,prime(13))
38 num(14) num(14) num(14) - num(15)
mult(14,2)       prime(14) ← not(mult(14))
mult(15,3)
39 num(15) mult(14,2) mult(14,2) - mult(14)
prime(14) ← not(mult(14))       mult(16,2)
mult(14,2)
mult(15,3)
40 mult(14) mult(14) mult(14) prime(14) ← not(mult(14)) -
num(15)
prime(14) ← not(mult(14))
mult(15,3)
mult(16,2)
41 num(15) num(15) num(15) - num(16)
mult(15,3)       prime(15) ← not(mult(15))
mult(16,2)
42 num(16) mult(15,3) mult(15,3) - mult(15)
prime(15) ← not(mult(15))
mult(15,3)
mult(16,2)
43 mult(15) mult(15) mult(15) prime(15) ← not(mult(15)) -
num(16)
prime(15) ← not(mult(15))
mult(16,2)
44 num(16) num(16) num(16) - num(17)
mult(16,2)       prime(16) ← not(mult(16))
45 num(17) mult(16,2) mult(16,2) - mult(16)
prime(16) ← not(mult(16))
mult(16,2)
46 mult(16) mult(16) mult(16) prime(16) ← not(mult(16)) -
num(17)
prime(16) ← not(mult(16))
47 num(17) num(17) num(17) - prime(17) ← not(mult(17))
48 prime(17) ← not(mult(17)) prime(17) prime(17) ← not(mult(17)) - println(17,prime(17))
49 println(17,prime(17)) println(17,prime(17)) println(17,prime(17)) - -