n | | n | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: parent(kenneth, isabel) | | 2: Searching: parent(kenneth, isabel) |
| 3: Searching: married_to(kenneth, Candidate Variable_0) | | 3: Searching: married_to(kenneth, Candidate Variable_0) |
| - Searching: parent_of(Candidate Variable_0, isabel) | | |
| - Fail: parent_of(Wife, isabel) | | |
| - Fail: parent(kenneth, isabel) | | |
| - Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| Looking for other paths: Redo: married_to(kenneth, Candidate Variable_0) | | |
| | | |
| [Path 2]: | | |
| 4: Found: married_to(kenneth, wife) | | 4: Found: married_to(kenneth, wife) |
| 5: Searching: parent_of(wife, isabel) | | 5: Searching: parent_of(wife, isabel) |
n | 6: Fail: parent_of(wife, isabel) | n | 6: Fail: parent_of(wife, isabel) | {'Result': 'Search Failed'} |
| 7: Fail: parent(kenneth, isabel) | | 7: Fail: parent(kenneth, isabel) | {'Result': 'Search Failed'} |
| 8: Fail: query | {'Result': 'Search Failed'} | | 8: Fail: query | {'Result': 'Search Failed'} |
t | | t | |