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(kenneth, timothy)4 2: Searching: brother_in_law(kenneth, timothy)
5 3: Searching: spouse(timothy, Candidate Variable_0)5 3: Searching: spouse(timothy, Candidate Variable_0)
6 4: Found: spouse(timothy, dana)6 4: Found: spouse(timothy, dana)
7 5: Searching: sibling(kenneth, dana)7 5: Searching: sibling(kenneth, dana)
8 6: Fail: sibling(kenneth, dana) | {'Result': 'Search Failed'}8 6: Fail: sibling(kenneth, dana) | {'Result': 'Search Failed'}
t9 7: Redo: brother_in_law(kenneth, timothy)t9 7: Fail: brother_in_law(kenneth, timothy) | {'Result': 'Search Failed'}
10 8: Searching: sibling(kenneth, timothy)10 8: Fail: query | {'Result': 'Search Failed'}
11 9: Found: sibling(kenneth, timothy)11 
12 10: Found: brother_in_law(kenneth, timothy)
13 11: Searching: is_sibling(joseph, kenneth)
14 12: Redo: is_sibling(joseph, kenneth)
15 13: Searching: sibling(joseph, kenneth)
16 14: Found: sibling(joseph, kenneth)
17 15: Found: is_sibling(joseph, kenneth)
18 16: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op