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: is_aunt_or_uncle(april, connie)4 2: Searching: is_aunt_or_uncle(april, connie)
5 3: Searching: sibling(april, Candidate Variable_0)5 3: Searching: sibling(april, Candidate Variable_0)
n6 4: Found: sibling(april, richard)n6 4: Fail: sibling(april, Candidate Variable_0) | {'Result': 'Search Failed'}
7 5: Searching: parent(richard, connie)7 5: Fail: is_aunt_or_uncle(april, connie) | {'Result': 'Search Failed'}
8 6: Fail: parent(richard, connie)8 6: Fail: query | {'Result': 'Search Failed'}
9 7: Searching: parent(april, connie)
10 8: Found: parent(nicole, connie)
11 9: Found: is_aunt_or_uncle(april, connie)
12 10: Found: query | {'Result': 'truth = True'}
139
t14 t
15The search path confirms that the program successfully establishes the relationship between April and Connie, deducing that April is indeed Connie's aunt.
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op