f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: james_candles(12, 8, Candidate Variable_0) | | 2: Searching: james_candles(12, 8, Candidate Variable_0) |
| 3: Searching: candles_needed(12, Candidate Variable_1) | | 3: Searching: candles_needed(12, Candidate Variable_1) |
t | | t | 4: Searching: 12>=13 |
| | | 5: Fail: 12>=13 | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: candles_needed(12, Candidate Variable_1) |
| | | |
| | | |
| | | [Path 2]: |
| | | 6: Searching: 12<13 |
| | | 7: Found: 12<13 |
| | | 8: Searching: _14516 is 12 |
| | | 9: Found: 12 is 12 |
| 4: Found: candles_needed(12, 12) | | 10: Found: candles_needed(12, 12) |
| 5: Searching: candles_needed(8, Candidate Variable_2) | | 11: Searching: candles_needed(8, Candidate Variable_2) |
| | | 12: Searching: 8>=13 |
| | | 13: Fail: 8>=13 | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: candles_needed(8, Candidate Variable_2) |
| | | |
| | | |
| | | [Path 3]: |
| | | 14: Searching: 8<13 |
| | | 15: Found: 8<13 |
| | | 16: Searching: _20026 is 8 |
| | | 17: Found: 8 is 8 |
| 6: Found: candles_needed(8, 8) | | 18: Found: candles_needed(8, 8) |
| 7: Searching: _5834 is 12+8 | | 19: Searching: _25536 is 12+8 |
| 8: Found: 20 is 12+8 | | 20: Found: 20 is 12+8 |
| 9: Searching: packs_needed(20, Candidate Variable_3) | | 21: Searching: packs_needed(20, Candidate Variable_3) |
| 10: Searching: _14512 is 20/5 | | 22: Searching: _26768 is ceil |
| 11: Found: 4 is 20/5 | | 23: Found: 4 is ceil |
| 12: Searching: _15738 is 4+1 | | |
| 13: Found: 5 is 4+1 | | |
| 14: Found: packs_needed(20, 5) | | 24: Found: packs_needed(20, 4) |
| 15: Searching: total_cost(5, Candidate Variable_0) | | 25: Searching: total_cost(4, Candidate Variable_0) |
| 16: Searching: _18206 is 5*3 | | 26: Searching: _5830 is 4*3 |
| 17: Found: 15 is 5*3 | | 27: Found: 12 is 4*3 |
| 18: Found: total_cost(5, 15) | | 28: Found: total_cost(4, 12) |
| 19: Found: james_candles(12, 8, 15) | | 29: Found: james_candles(12, 8, 12) |
| 20: Found: query(15) | {'Result': 'Cost = 15'} | | 30: Found: query(12) | {'Result': 'Cost = 12'} |
| | | |