f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: uncle_niece(kenneth, melissa) | | 2: Searching: uncle_niece(kenneth, melissa) |
n | 3: Searching: brother(kenneth, Candidate Variable_0) | n | 3: Searching: brother(Candidate Variable_0, kenneth) |
| 4: Found: brother(kenneth, harry) | | 4: Searching: parent(Candidate Variable_1, Candidate Variable_0) |
| 5: Searching: related(harry, melissa) | | 5: Found: parent(kenneth, robert) |
| 6: Found: related(victor, melissa) | | 6: Searching: parent(kenneth, kenneth) |
| 7: Found: uncle_niece(kenneth, melissa) | | 7: Fail: parent(kenneth, kenneth) | {'Result': 'Search Failed'} |
| 8: Found: query | {'Result': 'truth = True'} | | |
| | | |
n | Looking for other paths: Redo: brother(kenneth, Candidate Variable_0) | n | Looking for other paths: Redo: parent(Candidate Variable_1, Candidate Variable_0) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | | n | 8: Found: parent(kenneth, darryl) |
| 9: Fail: brother(kenneth, kenneth) | | 9: Searching: parent(kenneth, kenneth) |
| 10: Fail: uncle_niece(kenneth, melissa) | | 10: Fail: parent(kenneth, kenneth) | {'Result': 'Search Failed'} |
| 11: Fail: query | {'Result': 'Search Failed'} | | |
| | | Looking for other paths: Redo: parent(Candidate Variable_1, Candidate Variable_0) |
| | | |
| | | |
| [Path 3]: | | [Path 3]: |
n | 12: Searching: brother(harry, Candidate Variable_1) | n | |
| 13: Found: parent(kenneth, harry) | | 11: Found: parent(kenneth, elizabeth) |
| 14: Found: parent(kenneth, Candidate Variable_1) | | 12: Searching: parent(kenneth, kenneth) |
| | | 13: Fail: parent(kenneth, kenneth) | {'Result': 'Search Failed'} |
| | | 14: Fail: brother(Candidate Variable_0, kenneth) | {'Result': 'Search Failed'} |
| | | 15: Fail: uncle_niece(kenneth, melissa) | {'Result': 'Search Failed'} |
| | | 16: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | | t | |
| [Path 4]: | | |
| 15: Fail: parent(kenneth, harry) | | |
| 16: Fail: brother(harry, Candidate Variable_1) | | |
| 17: Fail: uncle_niece(kenneth, melissa) | | |
| 18: Fail: query | {'Result': 'Search Failed'} | | |