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(molly, jeremy_son)4 2: Searching: great_grandparent(molly, jeremy_son)
5 3: Searching: grandparent(molly, Candidate Variable_0)5 3: Searching: grandparent(molly, Candidate Variable_0)
6 4: Found: grandparent(molly, jeremy)6 4: Found: grandparent(molly, jeremy)
7 5: Searching: parent(jeremy, jeremy_son)7 5: Searching: parent(jeremy, jeremy_son)
t8 6: Fail: parent(jeremy, jeremy_son)t8 6: Fail: parent(jeremy, jeremy_son) | {'Result': 'Search Failed'}
9 7: Redo: grandparent(molly, jeremy)9 7: Fail: great_grandparent(molly, jeremy_son) | {'Result': 'Search Failed'}
10 8: Found: grandparent(molly, jeremy)
11 9: Searching: parent(jeremy, jeremy_son)
1210: Fail: parent(jeremy, jeremy_son)
1311: Redo: great_grandparent(molly, jeremy_son)
1412: Fail: great_grandparent(molly, jeremy_son)
1513: Fail: query | {'Result': 'truth = False'}10 8: Fail: query | {'Result': 'Search Failed'}
11 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op