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

Legends
Colors
Added
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op