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: sibling(mary, thomas) | | 2: Searching: sibling(mary, thomas) |
| 3: Searching: parent(Candidate Variable_0, mary) | | 3: Searching: parent(Candidate Variable_0, mary) |
n | 4: Fail: parent(gregory, mary) | n | 4: Fail: parent(Candidate Variable_0, mary) | {'Result': 'Search Failed'} |
| 5: Searching: parent(Candidate Variable_1, thomas) | | |
| 6: Fail: parent(gregory, thomas) | | Looking for other paths: Redo: sibling(mary, thomas) |
| 7: Searching: married(Candidate Variable_2, mary) | | |
| 8: Fail: married(gregory, mary) | | |
| 9: Searching: married(Candidate Variable_3, thomas) | | |
| 10: Fail: married(gregory, thomas) | | |
| 11: Fail: sibling(mary, thomas) | | |
| 12: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | 13: Found: parent(gregory, mary) | n | |
| 14: Searching: parent(gregory, thomas) | | |
| 15: Found: parent(gregory, thomas) | | |
| 16: Searching: married(mary, Candidate Variable_4) | | 5: Searching: married(mary, Candidate Variable_1) |
| 17: Fail: married(mary, Candidate Variable_4) | | 6: Fail: married(mary, Candidate Variable_1) | {'Result': 'Search Failed'} |
| 18: Searching: married(thomas, Candidate Variable_5) | | |
| 19: Fail: married(thomas, Candidate Variable_5) | | |
| 20: Fail: sibling(mary, thomas) | {'Result': 'Search Failed'} | | 7: Fail: sibling(mary, thomas) | {'Result': 'Search Failed'} |
| 21: Fail: query | {'Result': 'Search Failed'} | | 8: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | | t | |
| [Path 3]: | | |
| 22: Searching: sibling(christopher, mary) | | |
| 23: Searching: parent(Candidate Variable_6, christopher) | | |
| 24: Found: parent(gregory, christopher) | | |
| 25: Searching: parent(gregory, mary) | | |
| 26: Fail: parent(gregory, mary) | | |
| 27: Searching: married(christopher, Candidate Variable_7) | | |
| 28: Fail: married(christopher, Candidate Variable_7) | | |
| 29: Searching: married(mary, Candidate Variable_8) | | |
| 30: Fail: married(mary, Candidate Variable_8) | | |
| 31: Fail: sibling(christopher, mary) | | |
| 32: Fail: sibling(mary, thomas) | | |
| 33: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| | | |
| [Path 4]: | | |
| 34: Found: parent(gregory, cecil) | | |
| 35: Searching: parent(gregory, thomas) | | |
| 36: Found: parent(gregory, thomas) | | |
| 37: Searching: sibling(cecil, mary) | | |
| 38: Searching: parent(gregory, mary) | | |
| 39: Fail: parent(gregory, mary) | | |
| 40: Searching: parent(Candidate Variable_9, thomas) | | |
| 41: Found: parent(gregory, thomas) | | |
| 42: Searching: married(cecil, Candidate Variable_10) | | |
| 43: Fail: married(cecil, Candidate Variable_10) | | |
| 44: Searching: married(mary, Candidate Variable_11) | | |
| 45: Fail: married(mary, Candidate Variable_11) | | |
| 46: Fail: sibling(cecil, mary) | | |
| 47: Fail: sibling(mary, thomas) | | |
| 48: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| | | |
| [Path 5]: | | |
| 49: Found: parent(gregory, thomas) | | |
| 50: Searching: sibling(christopher, thomas) | | |
| 51: Found: sibling(christopher, thomas) | | |
| 52: Found: sibling(mary, thomas) | | |
| 53: Found: query | {'Result': 'truth = True'} | | |
| | | |
| | | |
| Looking for other paths: Redo: sibling(christopher, thomas) | | |
| | | |
| | | |
| [Path 6]: | | |
| 54: Searching: parent(Candidate Variable_12, christopher) | | |
| 55: Found: parent(gregory, christopher) | | |
| 56: Searching: parent(gregory, thomas) | | |
| 57: Found: parent(gregory, thomas) | | |
| 58: Searching: married(christopher, Candidate Variable_13) | | |
| 59: Fail: married(christopher, Candidate Variable_13) | | |
| 60: Searching: married(thomas, Candidate Variable_14) | | |
| 61: Fail: married(thomas, Candidate Variable_14) | | |
| 62: Fail: sibling(christopher, thomas) | | |
| 63: Fail: sibling(mary, thomas) | | |
| 64: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| | | |
| [Path 7]: | | |
| 65: Searching: sibling(daniel, thomas) | | |
| 66: Searching: parent( | | |