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(charles, richard)4 2: Searching: uncle(charles, richard)
5 3: Searching: sibling(charles, Candidate Variable_0)5 3: Searching: sibling(charles, Candidate Variable_0)
6 4: Found: sibling(charles, mary)6 4: Found: sibling(charles, mary)
7 5: Searching: parent(mary, richard)7 5: Searching: parent(mary, richard)
8 6: Fail: parent(mary, richard) | {'Result': 'Search Failed'}8 6: Fail: parent(mary, richard) | {'Result': 'Search Failed'}
n9 7: Redo: sibling(charles, Candidate Variable_0)n9 7: Fail: uncle(charles, richard) | {'Result': 'Search Failed'}
10 8: Fail: query | {'Result': 'Search Failed'}
1011
t11 [Path 2]:t
12 8: Found: sibling(charles, oscar)
13 9: Searching: parent(oscar, richard)
1410: Fail: parent(oscar, richard) | {'Result': 'Search Failed'}
1511: Redo: sibling(charles, Candidate Variable_0)
16 
17 [Path 3]:
1812: Found: sibling(charles, daniel)
1913: Searching: parent(daniel, richard)
2014: Fail: parent(daniel, richard) | {'Result': 'Search Failed'}
2115: Redo: sibling(charles, Candidate Variable_0)
22 
23 [Path 4]:
2416: Found: sibling(charles, ellen)
2517: Searching: parent(ellen, richard)
2618: Fail: parent(ellen, richard) | {'Result': 'Search Failed'}
2719: Redo: sibling(charles, Candidate Variable_0)
28 
29 [Path 5]:
3020: Found: sibling(charles, joel)
3121: Searching: parent(joel, richard)
3222: Found: parent(joel, richard)
3323: Found: uncle(charles, richard)
3424: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op