f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: difference_in_apples(90, 87, Candidate Variable_0)4 2: Searching: difference_in_apples(90, 87, Candidate Variable_0)
n5 3: Searching: _14512 is 100-10n5 3: Searching: 90 is 100-10
6 4: Found: 90 is 100-106 4: Found: 90 is 100-10
n7 5: Searching: _15738 is 77+10n7 5: Searching: 87 is 77+10
8 6: Found: 87 is 77+108 6: Found: 87 is 77+10
n9 7: Searching: _16964 is 90-87n9 7: Searching: _5830 is 90-87
10 8: Found: 3 is 90-8710 8: Found: 3 is 90-87
11 9: Found: difference_in_apples(90, 87, 3)11 9: Found: difference_in_apples(90, 87, 3)
12 10: Found: query(3) | {'Result': 'Difference = 3'}12 10: Found: query(3) | {'Result': 'Difference = 3'}
tt13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op