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: sibling(frank, april)4 2: Searching: sibling(frank, april)
5 3: Searching: parent(Candidate Variable_0, frank)5 3: Searching: parent(Candidate Variable_0, frank)
6 4: Found: parent(nicole, frank)6 4: Found: parent(nicole, frank)
7 5: Searching: parent(nicole, april)7 5: Searching: parent(nicole, april)
n8 6: Found: parent(nicole, april)n8 6: Fail: parent(nicole, april) | {'Result': 'Search Failed'}
9 7: Searching: frank=april
10 8: Fail: frank=april | {'Result': 'Search Failed'}9 7: Fail: sibling(frankapril) | {'Result': 'Search Failed'}
11 9: Redo: parent(Candidate Variable_0, frank)10 8: Fail: query | {'Result': 'Search Failed'}
1211
t13 [Path 2]:t
14 10: Found: parent(nicole, toni)
15 11: Searching: parent(nicole, Candidate Variable_1)
16 12: Found: parent(nicole, melba)
17 13: Searching: toni=april
18 14: Fail: toni=april | {'Result': 'Search Failed'}
19 15: Redo: parent(nicole, Candidate Variable_1)
20 
21 [Path 3]:
22 16: Redo: parent(Candidate Variable_0, frank)
23 
24 [Path 4]:
25 17: Redo: parent(nicole, Candidate Variable_1)
26 
27 [Path 5]:
28 18: Found: parent(nicole, toni)
29 19: Redo: parent(nicole, Candidate Variable_0)
30 
31 [Path 6]:
32 20: Redo: parent(nicole, Candidate Variable_1)
33 
34 [Path 7]:
35 21: Redo: parent(Candidate Variable_0, frank)
36 
37 [Path 8]:
38 22: Redo: parent(nicole, Candidate Variable_1)
39 
40 [Path 9]:
41 23: Redo: parent(Candidate Variable_0, frank)
42 
43 [Path 10]:
44 24: Redo: parent(nicole, Candidate Variable_1)
45 
46 [Path 11]:
47 25: Redo: parent(Candidate Variable_0, frank)
48 
49 [Path 12]:
50 26: Redo: parent(nicole, Candidate Variable_1)
51 
52 [Path 13]:
53 27: Redo: parent(Candidate Variable_0, frank)
54 
55 [Path 14]:
56 28: Redo: parent(nicole, Candidate Variable_1)
57 
58 [Path 15]:
59 29: Redo: parent(Candidate Variable_0, frank)
60 
61 [Path 16]:
62 30: Redo: parent(nicole, Candidate Variable_1)
63 
64 [Path 17]:
65 31: Redo: parent(Candidate Variable_0, frank)
66 
67 [Path 18]:
68 32: Redo: parent(nicole, Candidate Variable_1)
69 
70 [Path 19]:
71 33: Redo: parent(Candidate Variable_0, frank)
72 
73 [Path 20]:
74 34: Redo: parent(nicole, Candidate Variable_1)
75 
76 [Path 21]:
77 35: Redo: parent(Candidate Variable_0, frank)
78 
79 [Path 22]:
80 36: Redo: parent(nicole, Candidate Variable_1)
81 
82 [Path 23]:
83 37: Redo: parent(Candidate Variable_0, frank)
84 
85 [Path 24]:
86 38: Redo: parent(nicole, Candidate Variable_1)
87 
88 [Path 25]:
89 39: Redo: parent(Candidate Variable_0, frank)
90 
91 [Path 26]:
92 40: Redo: parent(nicole, Candidate Variable_1)
93 
94 [Path 27]:
95 41: Redo: parent(Candidate Variable_0, frank)
96 
97 [Path 28]:
98 42: Redo: parent(nicole, Candidate Variable_1)
99 
100 [Path 29]:
101 43: Redo: parent(Candidate Variable_0, frank)
102 
103 [Path 30]:
104 44: Redo: parent(nicole, Candidate Variable_1)
105 
106 [Path 31]:
107 45: Redo: parent(Candidate Variable_0, frank)
108 
109 [Path 32]:
110 46: Redo: parent(nicole, Candidate Variable_1)
111 
112 [Path 33]:
113 47: Redo: parent(Candidate Variable_0, frank)
114 
115 [Path 34]:
116 48: Redo: parent(nicole, Candidate Variable_1)
117 
118 [Path 35]:
119 49: Redo: parent(Candidate Variable_0, frank)
120 
121 [Path 36]:
122 50: Redo: parent(nicole, Candidate Variable_1)
123 
124 [
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op