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: brother_in_law(kent, dorothy) | | 2: Searching: brother_in_law(kent, dorothy) |
n | 3: Searching: uncle(kent, florence) | n | 3: Searching: uncle(kent, Candidate Variable_0) |
| 4: Searching: parent(Candidate Variable_0, kent) | | 4: Searching: parent(Candidate Variable_1, kent) |
| 5: Found: parent(james, kent) | | 5: Found: parent(james, kent) |
n | 6: Searching: sibling(james, florence) | n | 6: Searching: sibling(james, Candidate Variable_0) |
| 7: Fail: sibling(james, florence) | | 7: Fail: sibling(james, Candidate Variable_0) | {'Result': 'Search Failed'} |
| 8: Fail: uncle(kent, florence) | | 8: Fail: uncle(kent, Candidate Variable_0) | {'Result': 'Search Failed'} |
| 9: Fail: brother_in_law(kent, dorothy) | | 9: Fail: brother_in_law(kent, dorothy) | {'Result': 'Search Failed'} |
| 10: Fail: query | {'Result': 'Search Failed'} | | 10: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | | t | |
| [Path 2]: | | |
| 11: Searching: uncle(thomas, florence) | | |
| 12: Searching: parent(Candidate Variable_1, thomas) | | |
| 13: Found: parent(james, thomas) | | |
| 14: Searching: sibling(james, florence) | | |
| 15: Found: sibling(james, florence) | | |
| 16: Found: uncle(thomas, florence) | | |
| 17: Searching: brother_in_law(kent, dorothy) | | |
| 18: Found: brother_in_law(kent, dorothy) | | |
| 19: Comment: Kent is Dorothy's brother-in-law. | | |
| 20: Found: query | {'Result': 'truth = True'} | | |