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_of_sibling(cristina, pennie) | | 2: Searching: sibling_of_sibling(cristina, pennie) |
| 3: Searching: sibling(Candidate Variable_0, cristina) | | 3: Searching: sibling(Candidate Variable_0, cristina) |
| 4: Found: sibling(ruth, cristina) | | 4: Found: sibling(ruth, cristina) |
| 5: Searching: sibling(ruth, pennie) | | 5: Searching: sibling(ruth, pennie) |
n | | n | 6: Searching: parent_child(Candidate Variable_1, ruth) |
| | | 7: Fail: parent_child(Candidate Variable_1, ruth) | {'Result': 'Search Failed'} |
| 6: Fail: sibling(ruth, pennie) | {'Result': 'Search Failed'} | | 8: Fail: sibling(ruth, pennie) | {'Result': 'Search Failed'} |
| | | |
| 7: Redo: sibling(Candidate Variable_0, cristina) | | Looking for other paths: Redo: sibling(Candidate Variable_0, cristina) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
t | 8: Found: sibling(christian, cristina) | t | 9: Searching: parent_child(Candidate Variable_2, Candidate Variable_0) |
| 9: Searching: sibling(christian, pennie) | | 10: Found: parent_child(christian, nichole) |
| 10: Found: sibling(christian, pennie) | | 11: Searching: parent_child(christian, cristina) |
| 11: Found: sibling_of_sibling(cristina, pennie) | | 12: Fail: parent_child(christian, cristina) | {'Result': 'Search Failed'} |
| 12: Found: query | {'Result': 'truth = True'} | | |
| | | Looking for other paths: Redo: parent_child(Candidate Variable_2, Candidate Variable_0) |
| | | |
| | | |
| | | [Path 3]: |
| | | 13: Found: parent_child(christian, sean) |
| | | 14: Searching: parent_child(christian, cristina) |
| | | 15: Fail: parent_child(christian, cristina) | {'Result': 'Search Failed'} |
| | | 16: Fail: sibling(Candidate Variable_0, cristina) | {'Result': 'Search Failed'} |
| | | 17: Fail: sibling_of_sibling(cristina, pennie) | {'Result': 'Search Failed'} |
| | | 18: Fail: query | {'Result': 'Search Failed'} |
| | | |