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: uncle(stephen, jeff)4 2: Searching: uncle(stephen, jeff)
5 3: Searching: sibling(stephen, Candidate Variable_0)5 3: Searching: sibling(stephen, Candidate Variable_0)
n6 4: Found: sibling(stephen, christian)n6 4: Fail: sibling(stephen, Candidate Variable_0) | {'Result': 'Search Failed'}
7 5: Searching: parent(christian, jeff)
8 6: Fail: parent(christian, jeff) | {'Result': 'Search Failed'}7 5: Fail: uncle(stephen, jeff) | {'Result': 'Search Failed'}
9 7: Backtrack: sibling(stephen, Candidate Variable_0)8 6: Fail: query | {'Result': 'Search Failed'}
109
t11 8: Found: sibling(stephen, ruth)t
12 9: Searching: parent(ruth, jeff)
1310: Found: parent(ruth, jeff)
1411: Found: uncle(stephen, jeff)
1512: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op