f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
t | | t | 2: Searching: path(kenneth, judy, Candidate Variable_0) |
| | | 3: Searching: sibling(kenneth, judy) |
| 2: Searching: path(kenneth, judy, Path) | | 4: Searching: aunt(kenneth, judy) |
| 3: Searching: path(kenneth, judy, [kenneth, judy]) | | 5: Searching: parent(Candidate Variable_1, judy) |
| 4: Fail: path(kenneth, judy, [kenneth, judy]) | | 6: Fail: parent(Candidate Variable_1, judy) | {'Result': 'Search Failed'} |
| 5: Redo: path(kenneth, judy, Path) | | 7: Fail: aunt(kenneth, judy) | {'Result': 'Search Failed'} |
| 6: Searching: path(kenneth, judy, [kenneth | Path]) | | |
| | | Looking for other paths: Redo: sibling(kenneth, judy) |
| | | |
| | | |
| | | [Path 2]: |
| | | 8: Searching: uncle(kenneth, judy) |
| | | 9: Searching: parent(Candidate Variable_2, judy) |
| | | 10: Fail: parent(Candidate Variable_2, judy) | {'Result': 'Search Failed'} |
| | | 11: Fail: uncle(kenneth, judy) | {'Result': 'Search Failed'} |
| | | 12: Fail: sibling(kenneth, judy) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: path(kenneth, judy, Candidate Variable_0) |
| | | |
| | | |
| | | [Path 3]: |
| 7: Searching: parent(kenneth, Candidate Variable_0) | | 13: Searching: parent(kenneth, Candidate Variable_3) |
| | | 14: Fail: parent(kenneth, Candidate Variable_3) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: path(kenneth, judy, Candidate Variable_0) |
| | | |
| | | |
| | | [Path 4]: |
| 8: Fail: parent(kenneth, Candidate Variable_0) | | 15: Searching: parent(kenneth, Candidate Variable_4) |
| 9: Redo: path(kenneth, judy, [kenneth | Path]) | | 16: Fail: parent(kenneth, Candidate Variable_4) | {'Result': 'Search Failed'} |
| 10: Searching: path(Candidate Variable_0, judy, Path) | | 17: Fail: path(kenneth, judy, Candidate Variable_0) | {'Result': 'Search Failed'} |
| 11: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0 | Path]) | | 18: Fail: query | {'Result': 'Search Failed'} |
| 12: Searching: parent(Candidate Variable_0, Candidate Variable_1) | | |
| 13: Fail: parent(Candidate Variable_0, Candidate Variable_1) | | |
| 14: Redo: path(Candidate Variable_0, judy, [Candidate Variable_0 | Path]) | | |
| 15: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2 | Path]) | | |
| 16: Searching: parent(Candidate Variable_0, Candidate Variable_2) | | |
| 17: Fail: parent(Candidate Variable_0, Candidate Variable_2) | | |
| 18: Redo: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2 | Path]) | | |
| 19: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3 | Path]) | | |
| 20: Searching: parent(Candidate Variable_0, Candidate Variable_3) | | |
| 21: Fail: parent(Candidate Variable_0, Candidate Variable_3) | | |
| 22: Redo: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3 | Path]) | | |
| 23: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3, Candidate Variable_4 | Path]) | | |
| 24: Searching: parent(Candidate Variable_0, Candidate Variable_4) | | |
| 25: Fail: parent(Candidate Variable_0, Candidate Variable_4) | | |
| 26: Fail: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3, Candidate Variable_4 | Path]) | | |
| 27: Fail: path(kenneth, judy, [kenneth | Path]) | | |
| 28: Fail: path(kenneth, judy, Path) | | |
| 29: Fail: query | | |