f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: james_candles(12, 8, Candidate Variable_0)4 2: Searching: james_candles(12, 8, Candidate Variable_0)
5 3: Searching: candles_needed(12, Candidate Variable_1)5 3: Searching: candles_needed(12, Candidate Variable_1)
tt6 4: Searching: 12>=13
7 5: Fail: 12>=13 | {'Result': 'Search Failed'}
8 
9Looking for other paths: Redo: candles_needed(12, Candidate Variable_1)
10 
11 
12[Path 2]:
13 6: Searching: 12<13
14 7: Found: 12<13
15 8: Searching: _14516 is 12
16 9: Found: 12 is 12
6 4: Found: candles_needed(12, 12)17 10: Found: candles_needed(12, 12)
7 5: Searching: candles_needed(8, Candidate Variable_2)18 11: Searching: candles_needed(8, Candidate Variable_2)
19 12: Searching: 8>=13
20 13: Fail: 8>=13 | {'Result': 'Search Failed'}
21 
22Looking for other paths: Redo: candles_needed(8, Candidate Variable_2)
23 
24 
25[Path 3]:
26 14: Searching: 8<13
27 15: Found: 8<13
28 16: Searching: _20026 is 8
29 17: Found: 8 is 8
8 6: Found: candles_needed(8, 8)30 18: Found: candles_needed(8, 8)
9 7: Searching: _5834 is 12+831 19: Searching: _25536 is 12+8
10 8: Found: 20 is 12+832 20: Found: 20 is 12+8
11 9: Searching: packs_needed(20, Candidate Variable_3)33 21: Searching: packs_needed(20, Candidate Variable_3)
12 10: Searching: _14512 is 20/534 22: Searching: _26768 is ceil
13 11: Found: 4 is 20/535 23: Found: 4 is ceil
14 12: Searching: _15738 is 4+1
15 13: Found: 5 is 4+1
16 14: Found: packs_needed(20, 5)36 24: Found: packs_needed(20, 4)
17 15: Searching: total_cost(5, Candidate Variable_0)37 25: Searching: total_cost(4, Candidate Variable_0)
18 16: Searching: _18206 is 5*338 26: Searching: _5830 is 4*3
19 17: Found: 15 is 5*339 27: Found: 12 is 4*3
20 18: Found: total_cost(5, 15)40 28: Found: total_cost(4, 12)
21 19: Found: james_candles(12, 8, 15)41 29: Found: james_candles(12, 8, 12)
22 20: Found: query(15) | {'Result': 'Cost = 15'}42 30: Found: query(12) | {'Result': 'Cost = 12'}
43 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op