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(brian, danielle)4 2: Searching: uncle(brian, danielle)
5 3: Searching: aunt(danielle, brian)5 3: Searching: aunt(danielle, brian)
6 4: Searching: sibling(danielle, Candidate Variable_0)6 4: Searching: sibling(danielle, Candidate Variable_0)
7 5: Found: sibling(danielle, ouida)7 5: Found: sibling(danielle, ouida)
8 6: Searching: parent(ouida, brian)8 6: Searching: parent(ouida, brian)
9 7: Fail: parent(ouida, brian) | {'Result': 'Search Failed'}9 7: Fail: parent(ouida, brian) | {'Result': 'Search Failed'}
n10 8: Redo: sibling(danielle, Candidate Variable_0)n
11 9: Found: sibling(danielle, dale)
12 10: Searching: parent(dale, brian)
13 11: Fail: parent(dale, brian) | {'Result': 'Search Failed'}
14 12: Fail: aunt(danielle, brian) | {'Result': 'Search Failed'}10 8: Fail: aunt(danielle, brian) | {'Result': 'Search Failed'}
15 13: Fail: uncle(brian, danielle) | {'Result': 'Search Failed'}11 9: Fail: uncle(brian, danielle) | {'Result': 'Search Failed'}
16 14: Fail: query | {'Result': 'Search Failed'}12 10: Fail: query | {'Result': 'Search Failed'}
1713
t18 t
19Looking for other paths: Redo: sibling(danielle, Candidate Variable_0)
20 
21 
22[Path 2]:
23 15: Found: sibling(danielle, valerie)
24 16: Searching: parent(valerie, brian)
25 17: Fail: parent(valerie, brian) | {'Result': 'Search Failed'}
26 18: Fail: aunt(danielle, brian) | {'Result': 'Search Failed'}
27 19: Fail: uncle(brian, danielle) | {'Result': 'Search Failed'}
28 20: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op