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: required_money(Candidate Variable_0) | n | 2: Searching: required_money(Candidate Variable_1) |
| 3: Searching: total_budget(Total) | | 3: Searching: total_budget(Candidate Variable_2) |
| 4: Searching: maria_money(M) | | 4: Searching: maria_money(Candidate Variable_3) |
| 5: Found: M = 17 | | 5: Found: maria_money(17) |
| 6: Searching: sisters_money(S) | | 6: Searching: sisters_money(Candidate Variable_4) |
| 7: Searching: maria_money(Half) % Assumed predicate | | 7: Searching: maria_money(Candidate Variable_5) |
| 8: Found: Half = 17 | | 8: Found: maria_money(17) |
| | | 9: Searching: _18052 is 17*2 |
| 9: Found: S is 17*2 | | 10: Found: 34 is 17*2 |
| 10: Found: S = 34 | | 11: Found: sisters_money(34) |
| | | 12: Searching: _16224 is 17+34 |
| 11: Found: Total is 17+34 | | 13: Found: 51 is 17+34 |
| 12: Found: Total = 51 | | 14: Found: total_budget(51) |
| 13: Searching: Cost is 80 | | 15: Searching: _15614 is 80 |
| 14: Found: Cost = 80 | | 16: Found: 80 is 80 |
| 15: Searching: Required is 51-80 | | 17: Searching: _24858 is 51-80 |
| 16: Found: Required = -29 | | 18: Found: -29 is 51-80 |
| 17: Found: required_money(-29) | | 19: Found: required_money(80) |
| 18: Searching: Required is -29//1 | | 20: Searching: _7544 is 80//1 |
| 19: Found: Required = -29 | | 21: Found: 80 is 80//1 |
| 20: Found: query(-29) | {'Result': 'Required = -29'} | | 22: Found: query(80) | {'Result': 'Answer = 80'} |
| | | |
t | The negative value indicates that Maria and her sister together do not have enough money to buy the coat. | t | |