f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query(RemainingGlasses, RemainingPlates) | | 1: Searching: query(Candidate Variable_0, Candidate Variable_1) |
| 2: Searching: calculate_remaining_items(RemainingGlasses, RemainingPlates) | | 2: Searching: calculate_remaining_items(Candidate Variable_0, Candidate Variable_1) |
| 3: Searching: total_glasses_and_plates_sent(InitialGlasses, InitialPlates) | | 3: Searching: total_glasses_and_plates_sent(Candidate Variable_2, Candidate Variable_3) |
| 4: Searching: _14512 is 8*12 | | 4: Searching: _14520 is 8*12 |
| 5: Found: 96 is 8*12 | | 5: Found: 96 is 8*12 |
t | | t | 6: Searching: _14522 is 4*12 |
| | | 7: Found: 48 is 4*12 |
| 6: Found: total_glasses_and_plates_sent(96, 48) | | 8: Found: total_glasses_and_plates_sent(96, 48) |
| 7: Searching: remaining_glasses_and_plates(96, 48, 10, 6, RemainingGlasses, RemainingPlates) | | 9: Searching: remaining_glasses_and_plates(96, 48, 10, 6, Candidate Variable_0, Candidate Variable_1) |
| 8: Searching: _16994 is 96-10 | | 10: Searching: _5830 is 96-10 |
| 9: Found: 86 is 96-10 | | 11: Found: 86 is 96-10 |
| 10: Found: _17000 is 48-6 | | 12: Searching: _5832 is 48-6 |
| 11: Found: 42 is 48-6 | | 13: Found: 42 is 48-6 |
| 12: Found: remaining_glasses_and_plates(96, 48, 10, 6, 86, 42) | | 14: Found: remaining_glasses_and_plates(96, 48, 10, 6, 86, 42) |
| 13: Found: calculate_remaining_items(86, 42) | | 15: Found: calculate_remaining_items(86, 42) |
| 14: Found: query(86, 42) | {'Result': 'RemainingGlasses = 86, RemainingPlates = 42'} | | 16: Found: query(86, 42) | {'Result': 'RemainingGlasses = 86, RemainingPlates = 42'} |
| | | |