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
n4 2: Searching: uncle(richard, Y)n4 2: Searching: uncle(richard, Candidate Variable_0)
5 3: Searching: parent(Candidate Variable_0, Y)5 3: Searching: parent(Candidate Variable_1, Candidate Variable_0)
6 4: Found: parent(charles, Y)6 4: Found: parent(frank, charles)
7 5: Searching: sibling(richard, charles)7 5: Searching: sibling(richard, frank)
8 6: Fail: sibling(richard, charles) | {'Result': 'Search Failed'}8 6: Fail: sibling(richard, frank) | {'Result': 'Search Failed'}
9 7: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}9 7: Fail: uncle(richard, Candidate Variable_0) | {'Result': 'Search Failed'}
10 8: Fail: query | {'Result': 'Search Failed'}10 8: Fail: query | {'Result': 'Search Failed'}
1111
t12Looking for other paths: Redo: parent(Candidate Variable_0, Y)t
13 
14 
15[Path 2]:
16 9: Searching: parent(Candidate Variable_0, Y)
17 10: Found: parent(frank, Y)
18 11: Searching: sibling(richard, frank)
19 12: Fail: sibling(richard, frank) | {'Result': 'Search Failed'}
20 13: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
21 14: Fail: query | {'Result': 'Search Failed'}
22 
23Looking for other paths: Redo: sibling(richard, frank)
24 
25 
26[Path 3]:
27 15: Searching: sibling(richard, frank)
28 16: Fail: sibling(richard, frank) | {'Result': 'Search Failed'}
29 17: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
30 18: Fail: query | {'Result': 'Search Failed'}
31 
32Looking for other paths: Redo: parent(Candidate Variable_0, Y)
33 
34 
35[Path 4]:
36 19: Searching: parent(Candidate Variable_0, Y)
37 20: Found: parent(frank, Y)
38 21: Searching: sibling(richard, frank)
39 22: Fail: sibling(richard, frank) | {'Result': 'Search Failed'}
40 23: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
41 24: Fail: query | {'Result': 'Search Failed'}
42 
43Looking for other paths: Redo: sibling(richard, frank)
44 
45 
46[Path 5]:
47 25: Searching: sibling(richard, frank)
48 26: Fail: sibling(richard, frank) | {'Result': 'Search Failed'}
49 27: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
50 28: Fail: query | {'Result': 'Search Failed'}
51 
52Looking for other paths: Redo: parent(Candidate Variable_0, Y)
53 
54 
55[Path 6]:
56 29: Searching: parent(Candidate Variable_0, Y)
57 30: Found: parent(charles, Y)
58 31: Searching: sibling(richard, charles)
59 32: Fail: sibling(richard, charles) | {'Result': 'Search Failed'}
60 33: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
61 34: Fail: query | {'Result': 'Search Failed'}
62 
63Looking for other paths: Redo: sibling(richard, charles)
64 
65 
66[Path 7]:
67 35: Searching: sibling(richard, charles)
68 36: Fail: sibling(richard, charles) | {'Result': 'Search Failed'}
69 37: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
70 38: Fail: query | {'Result': 'Search Failed'}
71 
72Looking for other paths: Redo: parent(Candidate Variable_0, Y)
73 
74 
75[Path 8]:
76 39: Searching: parent(Candidate Variable_0, Y)
77 40: Found: parent(frank, Y)
78 41: Searching: sibling(richard, frank)
79 42: Fail: sibling(richard, frank) | {'Result': 'Search Failed'}
80 43: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
81 44: Fail: query | {'Result': 'Search Failed'}
82 
83Looking for other paths: Redo: sibling(richard, frank)
84 
85 
86[Path 9]:
87 45: Searching: sibling(richard, frank)
88 46: Fail: sibling(richard, frank) | {'Result': 'Search Failed'}
89 47: Fail: uncle(richard, Y) | {'Result': 'Search Failed'}
90 48: Fail: query | {'Result': 'Search Failed'}
91 
92Looking for other paths: Redo: parent(Candidate Variable_0, Y)
93 
94 
95[Path 10]:
96 49: Searching: parent(Candidate Variable_0, Y)
97 50: Found: parent(charles, Y)
98 51: Searching: sibling(richard, charles)
99 52: Fail: sibling(richard, charles) | {'Result': 'Search Failed'}
100 53: Fail: uncle(richard, Y) | {'Result
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op