f1[Path 1]:f1[Path 1]:
n2 0: Start of executionn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: sibling(melba, toni)4 2: Searching: sibling(melba, toni)
n5 3: Searching: parent(april, melba)n5 3: Searching: parent(Candidate Variable_0, melba)
6 4: Found: parent(april, melba)6 4: Found: parent(april, melba)
7 5: Searching: parent(april, toni)7 5: Searching: parent(april, toni)
t8 6: Found: april is the parent of tonit8 6: Fail: parent(april, toni) | {'Result': 'Search Failed'}
9 7: Searching: X\=Y [X=melba,Y=toni]9 7: Fail: sibling(melba, toni) | {'Result': 'Search Failed'}
10 8: Found: melba\=toni10 8: Fail: query | {'Result': 'Search Failed'}
11 9: Found: sibling(melba, toni)11 
12 10: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op