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: brother_in_law(tommy, brandi)4 2: Searching: brother_in_law(tommy, brandi)
5 3: Searching: married(Candidate Variable_0, brandi)5 3: Searching: married(Candidate Variable_0, brandi)
6 4: Fail: married(Candidate Variable_0, brandi) | {'Result': 'Search Failed'}6 4: Fail: married(Candidate Variable_0, brandi) | {'Result': 'Search Failed'}
n7 5: Redo: married(Candidate Variable_0, tommy)n7 5: Fail: brother_in_law(tommy, brandi) | {'Result': 'Search Failed'}
8 6: Fail: query | {'Result': 'Search Failed'}
89
t9 6: Found: married(carmelita, tommy)t
10 7: Searching: sibling(tommy, carmelita)
11 8: Fail: sibling(tommy, carmelita) | {'Result': 'Search Failed'}
12 9: Redo: sibling(brandi, carmelita)
13 
14 10: Found: sibling(brandi, michael)
15 11: Searching: married(michael, tommy)
16 12: Fail: married(michael, tommy) | {'Result': 'Search Failed'}
17 13: Redo: married(carmelita, brandi)
18 
19 14: Fail: married(carmelita, brandi) | {'Result': 'Search Failed'}
20 15: Fail: brother_in_law(tommy, brandi) | {'Result': 'Search Failed'}
21 16: Fail: query | {'Result': 'Search Failed'}
22 
23 
24Looking for other paths: Redo: married(Candidate Variable_0, tommy)
25 
26 
27[Path 2]:
28 17: Searching: sibling(michael, tommy)
29 18: Fail: sibling(michael, tommy) | {'Result': 'Search Failed'}
30 19: Fail: brother_in_law(tommy, brandi) | {'Result': 'Search Failed'}
31 20: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op