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: cousin(fay, joseph) | | 2: Searching: cousin(fay, joseph) |
| 3: Searching: sibling(Candidate Variable_0, Candidate Variable_1) | | 3: Searching: sibling(Candidate Variable_0, Candidate Variable_1) |
n | 4: Found: sibling(janice, fay) | n | 4: Found: sibling(william, michele) |
| 5: Searching: parent(janice, Grandparent) | | 5: Searching: parent(william, Candidate Variable_2) |
| 6: Found: parent(janice, alan) | | 6: Found: parent(william, jennifer) |
| 7: Searching: parent(alan, fay) | | 7: Searching: parent(jennifer, fay) |
| 8: Fail: parent(alan, fay) | | |
| 9: Searching: parent(alan, joseph) | | |
| 10: Found: parent(alan, william) | | |
| 11: Fail: parent(alan, joseph) | | |
| 12: Fail: cousin(fay, joseph) | | |
| 13: Fail: query | {'Result': 'Search Failed'} | | 8: Fail: parent(jennifer, fay) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: sibling(Candidate Variable_0, Candidate Variable_3) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | 14: Found: sibling(william, michele) | n | 9: Found: sibling(janice, fay) |
| 15: Searching: parent(william, Grandparent) | | 10: Searching: parent(janice, Candidate Variable_4) |
| 16: Found: parent(william, alan) | | 11: Fail: parent(janice, Candidate Variable_4) | {'Result': 'Search Failed'} |
| 17: Searching: parent(alan, fay) | | |
| 18: Fail: parent(alan, fay) | | Looking for other paths: Redo: sibling(Candidate Variable_0, Candidate Variable_5) |
| 19: Searching: parent(alan, joseph) | | |
| 20: Found: parent(alan, Candidate Variable_2) % Assumed atom/predicate | | |
| 21: Found: cousin(fay, joseph) | | |
| 22: Found: query | {'Result': 'truth = True'} | | |
| | | |
| | | |
| [Path 3]: | | [Path 3]: |
n | 23: Searching: parent(Candidate Variable_3, Candidate Variable_4) | n | 12: Found: sibling(janice, dannielle) |
| 24: Fail: parent(Dana, Candidate Variable_4) | Not a valid assumption | | 13: Searching: parent(janice, Candidate Variable_6) |
| | | 14: Fail: parent(janice, Candidate Variable_6) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: sibling(Candidate Variable_0, Candidate Variable_7) |
| | | |
| | | |
| [Path 4]: | | [Path 4]: |
t | 25: Found: sibling(janice, dannielle) | t | 15: Found: sibling(janice, beverly) |
| 26: Searching: parent(janice, Grandparent) | | 16: Searching: parent(janice, Candidate Variable_8) |
| 27: Found: parent(janice, alan) | | 17: Fail: parent(janice, Candidate Variable_8) | {'Result': 'Search Failed'} |
| 28: Searching: parent(alan, fay) | | 18: Fail: cousin(fay, joseph) | {'Result': 'Search Failed'} |
| 29: Fail: parent(alan, fay) | | 19: Fail: query | {'Result': 'Search Failed'} |
| 30: Searching: parent(alan, joseph) | | |
| 31: Found: parent(alan, Candidate Variable_5) % Assumed atom/predicate | | |
| 32: Found: cousin(fay, joseph) | | |
| 33: Found: query | {'Result': 'truth = True'} | | |