f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: cousin(lisa, jamie)4 2: Searching: cousin(lisa, jamie)
53: Searching: parent(ParentX, lisa), ParentX = carolyn5 3: Searching: parent(Candidate Variable_0, lisa)
64: Redo: parent(ParentX, lisa), ParentX = julie
75: Found: parent(julie, lisa)6 4: Found: parent(julie, lisa)
86: Searching: parent(ParentY, jamie), ParentY = carlos7 5: Searching: parent(Candidate Variable_1, jamie)
97: Found: parent(carlos, jamie)8 6: Found: parent(carlos, jamie)
108: Searching: sibling(julie, carlos)9 7: Searching: sibling(julie, Candidate Variable_2)
119: Fail: sibling(julie, carlos)10 8: Fail: sibling(julie, Candidate Variable_2) | {'Result': 'Search Failed'}
1210: Redo: sibling(carlos, julie)11 
1311: Fail: sibling(carlos, julie)12Looking for other paths: Redo: parent(Candidate Variable_1, jamie)
1412: Fail: cousin(lisa, jamie)13 
1513: Fail: query14 
15[Path 2]:
16 9: Found: parent(julie, jamie)
17 10: Searching: sibling(julie, Candidate Variable_3)
18 11: Fail: sibling(julie, Candidate Variable_3) | {'Result': 'Search Failed'}
19 12: Fail: cousin(lisa, jamie) | {'Result': 'Search Failed'}
20 13: Fail: query | {'Result': 'Search Failed'}
21 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op