f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
n4 2: Searching: required_money(Candidate Variable_0)n4 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 = 177 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 predicate9 7: Searching: maria_money(Candidate Variable_5)
10 8: Found: Half = 1710 8: Found: maria_money(17)
11 9: Searching: _18052 is 17*2
11 9: Found: S is 17*212 10: Found: 34 is 17*2
12 10: Found: S = 3413 11: Found: sisters_money(34)
14 12: Searching: _16224 is 17+34
13 11: Found: Total is 17+3415 13: Found: 51 is 17+34
14 12: Found: Total = 5116 14: Found: total_budget(51)
15 13: Searching: Cost is 8017 15: Searching: _15614 is 80
16 14: Found: Cost = 8018 16: Found: 80 is 80
17 15: Searching: Required is 51-8019 17: Searching: _24858 is 51-80
18 16: Found: Required = -2920 18: Found: -29 is 51-80
19 17: Found: required_money(-29)21 19: Found: required_money(80)
20 18: Searching: Required is -29//122 20: Searching: _7544 is 80//1
21 19: Found: Required = -2923 21: Found: 80 is 80//1
22 20: Found: query(-29) | {'Result': 'Required = -29'}24 22: Found: query(80) | {'Result': 'Answer = 80'}
2325
t24 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