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: uncle(john, joy)4 2: Searching: uncle(john, joy)
5 3: Searching: parent(Candidate Variable_0, joy)5 3: Searching: parent(Candidate Variable_0, joy)
6 4: Searching: mother(Candidate Variable_0, joy)6 4: Searching: mother(Candidate Variable_0, joy)
t7 5: Found: mother(joy, brian)t7 5: Fail: mother(Candidate Variable_0, joy) | {'Result': 'Search Failed'}
8 6: Searching: sibling(joy, john)8 
9 7: Fail: sibling(joy, john) | {'Result': 'Search Failed'}9Looking for other paths: Redo: parent(Candidate Variable_0, joy)
10 
11 
12[Path 2]:
13 6: Searching: father(Candidate Variable_0, joy)
14 7: Fail: father(Candidate Variable_0, joy) | {'Result': 'Search Failed'}
15 8: Fail: parent(Candidate Variable_0, joy) | {'Result': 'Search Failed'}
10 8: Fail: uncle(john, joy) | {'Result': 'Search Failed'}16 9: Fail: uncle(john, joy) | {'Result': 'Search Failed'}
11 9: Fail: query | {'Result': 'Search Failed'}17 10: Fail: query | {'Result': 'Search Failed'}
18 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op