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: sibling_of_sibling(cristina, pennie)4 2: Searching: sibling_of_sibling(cristina, pennie)
5 3: Searching: sibling(Candidate Variable_0, cristina)5 3: Searching: sibling(Candidate Variable_0, cristina)
6 4: Found: sibling(ruth, cristina)6 4: Found: sibling(ruth, cristina)
7 5: Searching: sibling(ruth, pennie)7 5: Searching: sibling(ruth, pennie)
nn8 6: Searching: parent_child(Candidate Variable_1, ruth)
9 7: Fail: parent_child(Candidate Variable_1, ruth) | {'Result': 'Search Failed'}
8 6: Fail: sibling(ruth, pennie) | {'Result': 'Search Failed'}10 8: Fail: sibling(ruth, pennie) | {'Result': 'Search Failed'}
11 
9 7: Redo: sibling(Candidate Variable_0, cristina)12Looking for other paths: Redo: sibling(Candidate Variable_0, cristina)
1013
1114
12[Path 2]:15[Path 2]:
t13 8: Found: sibling(christian, cristina)t16 9: Searching: parent_child(Candidate Variable_2, Candidate Variable_0)
14 9: Searching: sibling(christian, pennie)17 10: Found: parent_child(christian, nichole)
1510: Found: sibling(christian, pennie)18 11: Searching: parent_child(christian, cristina)
1611: Found: sibling_of_sibling(cristina, pennie)19 12: Fail: parent_child(christian, cristina) | {'Result': 'Search Failed'}
1712: Found: query | {'Result': 'truth = True'}20 
21Looking for other paths: Redo: parent_child(Candidate Variable_2, Candidate Variable_0)
22 
23 
24[Path 3]:
25 13: Found: parent_child(christian, sean)
26 14: Searching: parent_child(christian, cristina)
27 15: Fail: parent_child(christian, cristina) | {'Result': 'Search Failed'}
28 16: Fail: sibling(Candidate Variable_0, cristina) | {'Result': 'Search Failed'}
29 17: Fail: sibling_of_sibling(cristina, pennie) | {'Result': 'Search Failed'}
30 18: Fail: query | {'Result': 'Search Failed'}
31 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op