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(charles, richard)4 2: Searching: uncle(charles, richard)
5 3: Searching: sibling(charles, Candidate Variable_0)5 3: Searching: sibling(charles, Candidate Variable_0)
6 4: Searching: parent(Candidate Variable_1, charles)6 4: Searching: parent(Candidate Variable_1, charles)
7 5: Found: parent(frank, charles)7 5: Found: parent(frank, charles)
t8 6: Searching: parent(Candidate Variable_1, richard)t8 6: Searching: parent(frank, Candidate Variable_0)
9 7: Fail: parent(Candidate Variable_1, richard)9 7: Found: parent(frank, julia)
10 8: Fail: sibling(charles, richard)10 8: Searching: charles\=julia
11 9: Fail: uncle(charles, richard)11 9: Found: charles\=julia
12 10: Found: sibling(charles, julia)
13 11: Searching: parent(julia, richard)
14 12: Fail: parent(julia, richard) | {'Result': 'Search Failed'}
15 
16Looking for other paths: Redo: parent(frank, Candidate Variable_0)
17 
18 
19[Path 2]:
20 13: Found: parent(frank, charles)
21 14: Searching: charles\=charles
22 15: Fail: charles\=charles | {'Result': 'Search Failed'}
23 16: Fail: sibling(charles, Candidate Variable_0) | {'Result': 'Search Failed'}
24 17: Fail: uncle(charles, richard) | {'Result': 'Search Failed'}
12 10: Fail: query | {'Result': 'false'}25 18: Fail: query | {'Result': 'Search Failed'}
26 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op