f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Begining Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: candy_difference(Candidate Variable_0) | | 2: Searching: candy_difference(Candidate Variable_0) |
| 3: Searching: initial_candy_count(Candidate Variable_1) | | 3: Searching: initial_candy_count(Candidate Variable_1) |
| 4: Found: initial_candy_count(100) | | 4: Found: initial_candy_count(100) |
| 5: Searching: candy_consumed(4, 14, Candidate Variable_2) | | 5: Searching: candy_consumed(4, 14, Candidate Variable_2) |
| 6: Searching: _15734 is 4*14 | | 6: Searching: _15726 is 4*14 |
| 7: Found: 56 is 4*14 | | 7: Found: 56 is 4*14 |
| | | 8: Found: candy_consumed(4, 14, 56) |
| 8: Searching: candy_consumed(3, 14, Candidate Variable_3) | | 9: Searching: candy_consumed(3, 14, Candidate Variable_3) |
| 9: Searching: _15734 is 3*14 | | 10: Searching: _18190 is 3*14 |
| 10: Found: 42 is 3*14 | | 11: Found: 42 is 3*14 |
| | | 12: Found: candy_consumed(3, 14, 42) |
| 11: Searching: remaining_candy(100, 56, Candidate Variable_4) | | 13: Searching: remaining_candy(100, 56, Candidate Variable_4) |
| 12: Searching: _15734 is 100-56 | | 14: Searching: _20654 is 100-56 |
| 13: Found: 44 is 100-56 | | 15: Found: 44 is 100-56 |
| | | 16: Found: remaining_candy(100, 56, 44) |
| 14: Searching: remaining_candy(100, 42, Candidate Variable_5) | | 17: Searching: remaining_candy(100, 42, Candidate Variable_5) |
| 15: Searching: _15734 is 100-42 | | 18: Searching: _23118 is 100-42 |
| 16: Found: 58 is 100-42 | | 19: Found: 58 is 100-42 |
| | | 20: Found: remaining_candy(100, 42, 58) |
| 17: Searching: _5834 is 58-44 | | 21: Searching: _5830 is 58-44 |
| 18: Found: 14 is 58-44 | | 22: Found: 14 is 58-44 |
| 19: Found: candy_difference(14) | | 23: Found: candy_difference(14) |
| 20: Found: query(14) | {'Result': 'Difference = 14'} | | 24: Found: query(14) | {'Result': 'Difference = 14'} |
| | | |