f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Beginning Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Call: query(Candidate Variable_0) |
| 2: Searching: total_purchase_amount(4000, Candidate Variable_1) | | 2: Call: total_purchase_amount(4000, Candidate Variable_1) |
| 3: Searching: _15734 is 4000*3.5 | | 3: Call: _13900 is 4000*3.5 |
| 4: Found: 14000.0 is 4000*3.5 | | 4: Exit: 14000.0 is 4000*3.5 |
| 5: Found: total_purchase_amount(4000, 14000.0) | | 5: Exit: total_purchase_amount(4000, 14000.0) |
| 6: Searching: expired_milk_amount(14000.0, Candidate Variable_2) | | 6: Call: expired_milk_amount(14000.0, Candidate Variable_2) |
| 7: Searching: _18810 is 2/5 | | 7: Call: _16982 is 2/5 |
| 8: Found: 0.4 is 2/5 | | 8: Exit: 0.4 is 2/5 |
| 9: Searching: _22484 is 14000.0*0.4 | | 9: Call: _16368 is 14000.0*0.4 |
| 10: Found: 5600.0 is 14000.0*0.4 | | 10: Exit: 5600.0 is 14000.0*0.4 |
| 11: Found: expired_milk_amount(14000.0, 5600.0) | | 11: Exit: expired_milk_amount(14000.0, 5600.0) |
| 12: Searching: refund_amount(5600.0, Candidate Variable_0) | | 12: Call: refund_amount(5600.0, Candidate Variable_0) |
| 13: Searching: _23106 is 5600.0*3.5 | | 13: Call: _20680=3.5 |
| | | 14: Exit: 3.5=3.5 |
| | | 15: Call: _5830 is 5600.0*3.5 |
| 14: Found: 19600.0 is 5600.0*3.5 | | 16: Exit: 19600.0 is 5600.0*3.5 |
| 15: Found: refund_amount(5600.0, 19600.0) | | 17: Exit: refund_amount(5600.0, 19600.0) |
| 16: Found: query(19600.0) | {'Result': 'RefundAmount = 19600.0'} | | 18: Exit: query(19600.0) | {'Result': 'RefundAmount = 19600.0'} |
| | | |