f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: polar_bears_in_ancient_greece(Candidate Variable_0)4 2: Searching: polar_bears_in_ancient_greece(Candidate Variable_0)
5 3: Searching: habitat(polar_bears, Candidate Variable_1)5 3: Searching: habitat(polar_bears, Candidate Variable_1)
n6 4: Searching: habitat(polar_bears, arctic)n6 4: Found: habitat(polar_bears, arctic)
7 5: Searching: climate(ancient_greece, Candidate Variable_2)7 5: Searching: climate(ancient_greece, Candidate Variable_2)
n8 6: Searching: climate(ancient_greece, mediterranean)n8 6: Found: climate(ancient_greece, mediterranean)
9 7: Searching: arctic\=arctic9 7: Searching: arctic\=arctic
10 8: Fail: arctic\=arctic | {'Result': 'Search Failed'}10 8: Fail: arctic\=arctic | {'Result': 'Search Failed'}
1111
12Looking for other paths: Redo: polar_bears_in_ancient_greece(Candidate Variable_0)12Looking for other paths: Redo: polar_bears_in_ancient_greece(Candidate Variable_0)
tt13 
14 
15[Path 2]:
16 9: Searching: mediterranean\=mediterranean
17 10: Fail: mediterranean\=mediterranean | {'Result': 'Search Failed'}
18 11: Fail: polar_bears_in_ancient_greece(Candidate Variable_0) | {'Result': 'Search Failed'}
19 12: Fail: query | {'Result': 'Search Failed'}
20 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op