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: aunt(helen, lee)4 2: Searching: aunt(helen, lee)
5 3: Searching: sibling(helen, Candidate Variable_0)5 3: Searching: sibling(helen, Candidate Variable_0)
n6 4: Searching: parent(Candidate Variable_0, lee)n
7 5: Fail: parent(Candidate Variable_0, lee) | {'Result': 'Search Failed'}6 4: Fail: sibling(helenCandidate Variable_0) | {'Result': 'Search Failed'}
8 6: Redo: sibling(helen, Candidate Variable_0)7 5: Fail: aunt(helen, lee) | {'Result': 'Search Failed'}
8 6: Fail: query | {'Result': 'Search Failed'}
99
t10 7: Found: sibling(helen, kecia)t
11 8: Searching: parent(kecia, lee)
12 9: Fail: parent(kecia, lee) | {'Result': 'Search Failed'}
13 10: Fail: sibling(helen, kecia) | {'Result': 'Search Failed'}
14 11: Fail: aunt(helen, lee) | {'Result': 'Search Failed'}
15 12: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op