f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Beginning Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: path(lee, _G3572, norman) | | 2: Searching: path(lee, Candidate Variable_0, norman) |
| 3: Searching: relationship(lee, norman, _G3574) | | 3: Searching: relationship(lee, norman, Candidate Variable_0) |
| 4: Fail: relationship(lee, norman, _G3574) | | |
| 5: Redo: path(lee, _G3572, norman) | | |
| 6: Searching: relationship(lee, _G3576, norman) | | |
| 7: Redo: relationship(lee, _G3576, norman) | | |
| 8: Searching: parent(lee, norman) | | 4: Searching: parent(lee, norman) |
| 9: Fail: parent(lee, norman) | | 5: Fail: parent(lee, norman) | {'Result': 'Search Failed'} |
| 10: Redo: relationship(lee, _G3576, norman) | | |
| | | Looking for other paths: Redo: relationship(lee, norman, Candidate Variable_0) |
| | | |
| | | |
| | | [Path 2]: |
| 11: Searching: married(lee, norman) | | 6: Searching: married(lee, norman) |
| 12: Fail: married(lee, norman) | | 7: Fail: married(lee, norman) | {'Result': 'Search Failed'} |
| 13: Redo: relationship(lee, _G3576, norman) | | |
| | | Looking for other paths: Redo: relationship(lee, norman, Candidate Variable_0) |
| | | |
| | | |
| | | [Path 3]: |
| 14: Searching: sibling(lee, norman) | | 8: Searching: sibling(lee, norman) |
| 15: Fail: sibling(lee, norman) | | 9: Fail: sibling(lee, norman) | {'Result': 'Search Failed'} |
| 16: Fail: relationship(lee, _G3576, norman) | | 10: Fail: relationship(lee, norman, Candidate Variable_0) | {'Result': 'Search Failed'} |
| 17: Fail: path(lee, _G3572, norman) | | |
| | | Looking for other paths: Redo: path(lee, Candidate Variable_0, norman) |
| | | |
| | | |
| | | [Path 4]: |
| | | 11: Searching: relationship(lee, Candidate Variable_1, Candidate Variable_2) |
| | | 12: Searching: parent(lee, Candidate Variable_1) |
| | | 13: Fail: parent(lee, Candidate Variable_1) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: relationship(lee, Candidate Variable_1, Candidate Variable_3) |
| | | |
| | | |
| | | [Path 5]: |
| | | 14: Searching: married(lee, Candidate Variable_1) |
| | | 15: Fail: married(lee, Candidate Variable_1) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: relationship(lee, Candidate Variable_1, Candidate Variable_4) |
| | | |
| | | |
| | | [Path 6]: |
| | | 16: Searching: sibling(lee, Candidate Variable_1) |
| | | 17: Fail: sibling(lee, Candidate Variable_1) | {'Result': 'Search Failed'} |
| | | 18: Fail: relationship(lee, Candidate Variable_1, Candidate Variable_5) | {'Result': 'Search Failed'} |
| | | 19: Fail: path(lee, Candidate Variable_0, norman) | {'Result': 'Search Failed'} |
| 18: Fail: query | {'Result': 'Search Failed'} | | 20: Fail: query | {'Result': 'Search Failed'} |
| | | |