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: cousin(connie, frank)4 2: Searching: cousin(connie, frank)
5 3: Searching: aunt(connie, Candidate Variable_0)5 3: Searching: aunt(connie, Candidate Variable_0)
t6 4: Fail: aunt(connie, beverly) | {'Result': 'Search Failed'}t6 4: Fail: aunt(connie, Candidate Variable_0) | {'Result': 'Search Failed'}
7 5: Backtrack: aunt(connie, Candidate Variable_0)7 
8 6: Searching: aunt(frank, beverly)8Looking for other paths: Redo: cousin(connie, frank)
9 7: Found: aunt(frank, beverly)9 
10 8: Searching: brother(beverly, frank)10 
11 9: Fail: brother(beverly, frank) | {'Result': 'Search Failed'}11[Path 2]:
12 10: Backtrack: brother(beverly, frank)12 5: Searching: aunt(frank, Candidate Variable_1)
13 11: Backtrack: aunt(frank, beverly)13 6: Fail: aunt(frank, Candidate Variable_1) | {'Result': 'Search Failed'}
14 12: Backtrack: cousin(connie, frank)
15 13: Fail: cousin(connie, frank) | {'Result': 'Search Failed'}14 7: Fail: cousin(connie, frank) | {'Result': 'Search Failed'}
16 14: Fail: query | {'Result': 'Search Failed'}15 8: Fail: query | {'Result': 'Search Failed'}
16 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op