f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
n | 2: Searching: initial_amount(500) | n | 2: Searching: initial_amount(Candidate Variable_1) |
| 3: Found: initial_amount(500) | | 3: Found: initial_amount(500) |
n | 4: Searching: clothes_spent(20, Candidate Variable_1, 500) | n | 4: Searching: clothes_spent(20, Candidate Variable_2, 500) |
| 5: Searching: _14512 is 500*20/100 | | 5: Searching: _15118 is 500*20/100 |
| 6: Found: 100 is 500*20/100 | | 6: Found: 100 is 500*20/100 |
| 7: Found: clothes_spent(20, 100, 500) | | 7: Found: clothes_spent(20, 100, 500) |
n | 8: Searching: remaining_after_clothes(500, 100, Candidate Variable_2) | n | 8: Searching: remaining_after_clothes(500, 100, Candidate Variable_3) |
| 9: Searching: _16976 is 500-100 | | 9: Searching: _17588 is 500-100 |
| 10: Found: 400 is 500-100 | | 10: Found: 400 is 500-100 |
| 11: Found: remaining_after_clothes(500, 100, 400) | | 11: Found: remaining_after_clothes(500, 100, 400) |
n | 12: Searching: cds_spent(400, 25, Candidate Variable_3) | n | 12: Searching: cds_spent(400, 25, Candidate Variable_4) |
| 13: Searching: _19440 is 400*25/100 | | 13: Searching: _20052 is 400*25/100 |
| 14: Found: 100 is 400*25/100 | | 14: Found: 100 is 400*25/100 |
| 15: Found: cds_spent(400, 25, 100) | | 15: Found: cds_spent(400, 25, 100) |
| 16: Searching: final_amount_left(400, 100, Candidate Variable_0) | | 16: Searching: final_amount_left(400, 100, Candidate Variable_0) |
n | 17: Searching: _22484 is 400-100 | n | 17: Searching: _5830 is 400-100 |
| 18: Found: 300 is 400-100 | | 18: Found: 300 is 400-100 |
| 19: Found: final_amount_left(400, 100, 300) | | 19: Found: final_amount_left(400, 100, 300) |
| 20: Found: query(300) | {'Result': 'FinalAmount = 300'} | | 20: Found: query(300) | {'Result': 'FinalAmount = 300'} |
t | | t | |