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: son_in_law(william, nicole)4 2: Searching: son_in_law(william, nicole)
5 3: Searching: sibling(Candidate Variable_0, william)5 3: Searching: sibling(Candidate Variable_0, william)
6 4: Found: sibling(frank, william)6 4: Found: sibling(frank, william)
7 5: Searching: daughter(nicole, frank)7 5: Searching: daughter(nicole, frank)
t8 6: Found: daughter(nicole, frank)t8 6: Searching: parent(frank, nicole)
9 7: Found: son_in_law(william, nicole)9 7: Fail: parent(frank, nicole) | {'Result': 'Search Failed'}
10 8: Found: query | {'Result': 'truth = True'}10 8: Fail: daughter(nicole, frank) | {'Result': 'Search Failed'}
11 9: Fail: son_in_law(william, nicole) | {'Result': 'Search Failed'}
12 10: Fail: query | {'Result': 'Search Failed'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op