f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: niece(brittney, melissa)4 2: Searching: niece(brittney, melissa)
5 3: Searching: daughter(brittney, Candidate Variable_0)5 3: Searching: daughter(brittney, Candidate Variable_0)
6 4: Found: daughter(brittney, robert)6 4: Found: daughter(brittney, robert)
7 5: Searching: son(melissa, robert)7 5: Searching: son(melissa, robert)
8 6: Fail: son(melissa, robert) | {'Result': 'Search Failed'}8 6: Fail: son(melissa, robert) | {'Result': 'Search Failed'}
n9 7: Redo: niece(brittney, melissa)n9 
10Looking for other paths: Redo: niece(brittney, melissa)
11 
12 
13[Path 2]:
10 8: Searching: daughter(brittney, Candidate Variable_0)14 7: Searching: daughter(brittney, Candidate Variable_1)
11 9: Found: daughter(brittney, robert)15 8: Found: daughter(brittney, robert)
12 10: Redo: niece(brittney, melissa)16 9: Searching: daughter(melissa, robert)
17 10: Fail: daughter(melissa, robert) | {'Result': 'Search Failed'}
18 
19Looking for other paths: Redo: niece(brittney, melissa)
20 
21 
22[Path 3]:
13 11: Searching: daughter(brittney, Candidate Variable_0)23 11: Searching: daughter(brittney, Candidate Variable_2)
14 12: Found: daughter(brittney, robert)24 12: Found: daughter(brittney, robert)
n15 13: Searching: daughter(melissa, robert)n25 13: Searching: son(Candidate Variable_3, robert)
16 14: Fail: daughter(melissa, robert) | {'Result': 'Search Failed'}26 14: Fail: son(Candidate Variable_3, robert) | {'Result': 'Search Failed'}
17 15: Fail: niece(brittney, melissa) | {'Result': 'Search Failed'}27 15: Fail: niece(brittney, melissa) | {'Result': 'Search Failed'}
18 16: Fail: query | {'Result': 'Search Failed'}28 16: Fail: query | {'Result': 'Search Failed'}
tt29 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op