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(anthony, faye)4 2: Searching: uncle(anthony, faye)
5 3: Searching: parent(Candidate Variable_0, faye)5 3: Searching: parent(Candidate Variable_0, faye)
n6 4: Found: parent(julie, lisa)n6 4: Fail: parent(Candidate Variable_0, faye) | {'Result': 'Search Failed'}
7 5: Searching: sibling(anthony, Candidate Variable_1)7 5: Fail: uncle(anthony, faye) | {'Result': 'Search Failed'}
8 6: Found: sibling(mary, anthony)8 6: Fail: query | {'Result': 'Search Failed'}
9 7: Found: uncle(anthony, faye)
10 8: Found: query | {'Result': 'truth = True'}
119
t12 Looking for other paths: Redo: parent(Candidate Variable_0, faye)t
13 
14 [Path 2]:
15 9: Fail: parent(charles, faye) | {'Result': 'Search Failed'}
16 10: Fail: uncle(anthony, faye) | {'Result': 'Search Failed'}
17 11: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op