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(stephen, traci)4 2: Searching: nephew(stephen, traci)
5 3: Searching: parent(traci, Candidate Variable_0)5 3: Searching: parent(traci, Candidate Variable_0)
n6 4: Found: parent(jonathan, traci)n6 4: Fail: parent(traci, Candidate Variable_0) | {'Result': 'Search Failed'}
7 5: Searching: sibling(Candidate Variable_1, traci)7 5: Fail: nephew(stephen, traci) | {'Result': 'Search Failed'}
8 6: Found: sibling(jonathan, rosa)
9 7: Searching: parent(stephen, Candidate Variable_2)
10 8: Found: parent(stephen, melissa)
11 9: Searching: sibling(melissa, Candidate Variable_3)
12 10: Found: sibling(margaret, melissa)
13 11: Searching: parent(stephen, rosa)
14 12: Fail: parent(stephen, rosa)
15 13: Fail: nephew(stephen, traci)
16 14: Fail: query | {'Result': 'Search Failed'}8 6: Fail: query | {'Result': 'Search Failed'}
179
t18 t
19[Path 2]:
20 15: Redo: parent(stephen, Candidate Variable_2)
21 16: Found: parent(stephen, melissa)
22 17: Searching: sibling(melissa, rosa)
23 18: Found: sibling(margaret, melissa)
24 19: Found: nephew(stephen, traci)
25 20: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op