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: niece_in_law(isabel, dale)4 2: Searching: niece_in_law(isabel, dale)
5 3: Searching: sibling(Candidate Variable_0, isabel)5 3: Searching: sibling(Candidate Variable_0, isabel)
t6 4: Found: sibling(joy, isabel)t6 4: Fail: sibling(Candidate Variable_0, isabel) | {'Result': 'Search Failed'}
7 5: Searching: spouse(joy, dale)7 5: Fail: niece_in_law(isabel, dale) | {'Result': 'Search Failed'}
8 6: Fail: spouse(joy, dale)8 6: Fail: query | {'Result': 'Search Failed'}
9 7: Redo: sibling(joy, isabel)9 
10 8: Found: sibling(morgan, isabel)
11 9: Searching: spouse(morgan, dale)
12 10: Found: spouse(morgan, dale)
13 11: Found: niece_in_law(isabel, dale)
14 12: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op