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: nephew(william, manuel)4 2: Searching: nephew(william, manuel)
5 3: Searching: sibling(william, Candidate Variable_0)5 3: Searching: sibling(william, Candidate Variable_0)
6 4: Found: sibling(william, larry)6 4: Found: sibling(william, larry)
7 5: Searching: grandchild(larry, manuel)7 5: Searching: grandchild(larry, manuel)
n8 6: Searching: parent(Candidate Variable_1, manuel)n8 6: Searching: parent(manuel, Candidate Variable_1)
9 7: Found: parent(michele, manuel)9 7: Found: parent(manuel, henry)
10 8: Searching: parent(larry, michele)10 8: Searching: parent(henry, larry)
11 9: Fail: parent(larry, michele)11 9: Fail: parent(henry, larry) | {'Result': 'Search Failed'}
12 10: Fail: nephew(william, manuel)12 10: Fail: grandchild(larry, manuel) | {'Result': 'Search Failed'}
13 11: Fail: query13 11: Fail: nephew(william, manuel) | {'Result': 'Search Failed'}
14 12: Fail: query | {'Result': 'Search Failed'}
1415
t15 [Path 2]:t
16 12: Redo: sibling(william, Candidate Variable_0)
17 13: Found: sibling(william, larry)
18 14: Searching: grandchild(larry, manuel)
19 15: Searching: parent(larry, Candidate Variable_1)
20 16: Found: parent(larry, manuel)
21 17: Searching: parent(Candidate Variable_2, manuel)
22 18: Found: parent(michele, manuel)
23 19: Found: grandchild(larry, manuel)
24 20: Searching: _1406=manuel
25 21: Found: manuel=manuel
26 22: Found: nephew(william, manuel)
27 23: Comment: William is the nephew of Manuel.
28 24: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op