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: half_sibling(mickey, george)4 2: Searching: half_sibling(mickey, george)
5 3: Searching: parent(Candidate Variable_0, mickey)5 3: Searching: parent(Candidate Variable_0, mickey)
6 4: Found: parent(chuck, mickey)6 4: Found: parent(chuck, mickey)
n7 5: Searching: parent(Candidate Variable_0, george)n7 5: Searching: parent(chuck, george)
8 6: Found: parent(david, george)8 6: Fail: parent(chuck, george) | {'Result': 'Search Failed'}
9 7: Searching: Candidate Variable_0=chuck9 7: Fail: half_sibling(mickey, george) | {'Result': 'Search Failed'}
10 8: Fail: chuck=chuck | {'Result': 'Search Failed'}10 8: Fail: query | {'Result': 'Search Failed'}
11 9: Redo: parent(Candidate Variable_1, mickey)
1211
t13 t
14[Path 2]:
15 10: Found: parent(chuck, sara)
16 11: Searching: parent(Candidate Variable_1, george)
17 12: Fail: parent(chuck, george) | {'Result': 'Search Failed'}
18 13: Fail: half_sibling(mickey, george) | {'Result': 'Search Failed'}
19 14: Fail: query | {'Result': 'Search Failed'}
20 
21 
22Looking for other paths: Redo: parent(Candidate Variable_2, sara)
23 
24 
25[Path 3]:
26 15: Searching: parent(Candidate Variable_2, mickey)
27 16: Fail: parent(elizabeth, mickey) | {'Result': 'Search Failed'}
28 17: Fail: half_sibling(mickey, george) | {'Result': 'Search Failed'}
29 18: Fail: query | {'Result': 'Search Failed'}
30 
31 
32Looking for other paths: Redo: parent(Candidate Variable_3, george)
33 
34 
35[Path 4]:
36 19: Found: parent(david, george)
37 20: Searching: Candidate Variable_3=elizabeth
38 21: Fail: elizabeth=elizabeth | {'Result': 'Search Failed'}
39 22: Fail: half_sibling(mickey, george) | {'Result': 'Search Failed'}
40 23: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op