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: nephew(jeff, stephen)4 2: Searching: nephew(jeff, stephen)
5 3: Searching: parent(Candidate Variable_0, jeff)5 3: Searching: parent(Candidate Variable_0, jeff)
6 4: Found: parent(ruth, jeff)6 4: Found: parent(ruth, jeff)
7 5: Searching: sibling(ruth, stephen)7 5: Searching: sibling(ruth, stephen)
8 6: Fail: sibling(ruth, stephen) | {'Result': 'Search Failed'}8 6: Fail: sibling(ruth, stephen) | {'Result': 'Search Failed'}
n9 7: Redo: parent(Candidate Variable_0, annie)n9 7: Fail: nephew(jeff, stephen) | {'Result': 'Search Failed'}
10 8: Fail: query | {'Result': 'Search Failed'}
1011
t11 8: Found: parent(stephen, annie)t
12 9: Searching: sibling(stephen, jeff)
1310: Fail: sibling(stephen, jeff) | {'Result': 'Search Failed'}
1411: Redo: sibling(ruth, cristina)
15 
1612: Found: sibling(ruth, cristina)
1713: Searching: parent(cristina, jeff)
1814: Fail: parent(cristina, jeff) | {'Result': 'Search Failed'}
1915: Redo: sibling(christian, ruth)
20 
2116: Found: sibling(christian, ruth)
2217: Searching: parent(christian, jeff)
2318: Fail: parent(christian, jeff) | {'Result': 'Search Failed'}
2419: Fail: nephew(jeff, stephen) | {'Result': 'Search Failed'}
2520: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op