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