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)
4 2: Searching: arriving_families(Candidate Variable_1)4 2: Searching: arriving_families(Candidate Variable_1)
5 3: Found: arriving_families(26)5 3: Found: arriving_families(26)
6 4: Searching: departing_families(Candidate Variable_2)6 4: Searching: departing_families(Candidate Variable_2)
7 5: Found: departing_families(2)7 5: Found: departing_families(2)
8 6: Searching: bird_families(26, 2, Candidate Variable_0)8 6: Searching: bird_families(26, 2, Candidate Variable_0)
n9 7: Searching: _5842 is 26+2n9 7: Fail: bird_families(26, 2, Candidate Variable_0) | {'Result': 'Search Failed'}
10 8: Found: 28 is 26+210 8: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
11 9: Searching: _9437 is 28+26
12 10: Found: 54 is 28+26
13 11: Found: bird_families(26, 2, 54)
14 12: Found: query(54) | {'Result': 'RemainingFamilies = 54'}
1511
t16 Only one path is explored to find the correct answer 54, which represents the number of bird families left near the mountain.t
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op