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: relationship(dana, manuel, Candidate Variable_0)4 2: Searching: relationship(dana, manuel, Candidate Variable_0)
5 3: Searching: grandparent(dana, Candidate Variable_1)5 3: Searching: grandparent(dana, Candidate Variable_1)
6 4: Found: grandparent(dana, charlie)6 4: Found: grandparent(dana, charlie)
7 5: Searching: parent(charlie, manuel)7 5: Searching: parent(charlie, manuel)
t8 6: Fail: parent(charlie, manuel)t8 6: Fail: parent(charlie, manuel) | {'Result': 'Search Failed'}
9 
9 7: Redo: grandparent(dana, Candidate Variable_1)10Looking for other paths: Redo: grandparent(dana, Candidate Variable_1)
11 
12 
13[Path 2]:
10 8: Found: grandparent(dana, william)14 7: Found: grandparent(dana, william)
11 9: Searching: parent(william, manuel)15 8: Searching: parent(william, manuel)
12 10: Fail: parent(william, manuel)16 9: Fail: parent(william, manuel) | {'Result': 'Search Failed'}
17 
18Looking for other paths: Redo: grandparent(dana, Candidate Variable_1)
19 
20 
21[Path 3]:
13 11Redograndparent(dana, Candidate Variable_1)22 10Searching: parent(dana, Candidate Variable_2)
14 12: Fail: grandparent(dana, manuel)23 11: Fail: parent(dana, Candidate Variable_2) | {'Result': 'Search Failed'}
24 12: Fail: grandparent(dana, Candidate Variable_1) | {'Result': 'Search Failed'}
15 13: Fail: relationship(dana, manuel, Candidate Variable_0)25 13: Fail: relationship(dana, manuel, Candidate Variable_0) | {'Result': 'Search Failed'}
16 14: Fail: query | {'Result': 'truth = False'}26 14: Fail: query | {'Result': 'Search Failed'}
27 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op