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: grand_nephew(elizabeth, rufus)4 2: Searching: grand_nephew(elizabeth, rufus)
5 3: Searching: aunt(elizabeth, Candidate Variable_0)5 3: Searching: aunt(elizabeth, Candidate Variable_0)
6 4: Found: aunt(elizabeth, david)6 4: Found: aunt(elizabeth, david)
7 5: Searching: brother(david, rufus)7 5: Searching: brother(david, rufus)
8 6: Fail: brother(david, rufus) | {'Result': 'Search Failed'}8 6: Fail: brother(david, rufus) | {'Result': 'Search Failed'}
n9 7: Redo: aunt(elizabeth, Candidate Variable_0)n9 7: Fail: grand_nephew(elizabeth, rufus) | {'Result': 'Search Failed'}
10 8: Fail: query | {'Result': 'Search Failed'}
1011
t11 t
12[Path 2]:
13 8: Searching: brother(reynaldo, rufus)
14 9: Fail: brother(reynaldo, rufus) | {'Result': 'Search Failed'}
15 10: Fail: grand_nephew(elizabeth, rufus) | {'Result': 'Search Failed'}
16 11: Fail: query | {'Result': 'Search Failed'}
17 
18 
19Looking for other paths: Redo: aunt(elizabeth, Candidate Variable_0)
20 
21 
22[Path 3]:
23 12: Searching: brother(david, Candidate Variable_1)
24 13: Found: brother(david, reynaldo)
25 14: Searching: father(reynaldo, rufus)
26 15: Fail: father(reynaldo, rufus) | {'Result': 'Search Failed'}
27 16: Redo: brother(david, Candidate Variable_1)
28 
29 
30[Path 4]:
31 17: Searching: father(david, rufus)
32 18: Fail: father(david, rufus) | {'Result': 'Search Failed'}
33 19: Fail: brother(david, Candidate Variable_1) | {'Result': 'Search Failed'}
34 20: Fail: grand_nephew(elizabeth, rufus) | {'Result': 'Search Failed'}
35 21: Fail: query | {'Result': 'Search Failed'}
36 
37 
38Exhausted all possible paths.
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op