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