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: uncle(charles, richard) | | 2: Searching: uncle(charles, richard) |
| 3: Searching: sibling(charles, Candidate Variable_0) | | 3: Searching: sibling(charles, Candidate Variable_0) |
| 4: Found: sibling(charles, mary) | | 4: Found: sibling(charles, mary) |
| 5: Searching: parent(mary, richard) | | 5: Searching: parent(mary, richard) |
| 6: Fail: parent(mary, richard) | {'Result': 'Search Failed'} | | 6: Fail: parent(mary, richard) | {'Result': 'Search Failed'} |
n | 7: Redo: sibling(charles, Candidate Variable_0) | n | 7: Fail: uncle(charles, richard) | {'Result': 'Search Failed'} |
| | | 8: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | [Path 2]: | t | |
| 8: Found: sibling(charles, oscar) | | |
| 9: Searching: parent(oscar, richard) | | |
| 10: Fail: parent(oscar, richard) | {'Result': 'Search Failed'} | | |
| 11: Redo: sibling(charles, Candidate Variable_0) | | |
| | | |
| [Path 3]: | | |
| 12: Found: sibling(charles, daniel) | | |
| 13: Searching: parent(daniel, richard) | | |
| 14: Fail: parent(daniel, richard) | {'Result': 'Search Failed'} | | |
| 15: Redo: sibling(charles, Candidate Variable_0) | | |
| | | |
| [Path 4]: | | |
| 16: Found: sibling(charles, ellen) | | |
| 17: Searching: parent(ellen, richard) | | |
| 18: Fail: parent(ellen, richard) | {'Result': 'Search Failed'} | | |
| 19: Redo: sibling(charles, Candidate Variable_0) | | |
| | | |
| [Path 5]: | | |
| 20: Found: sibling(charles, joel) | | |
| 21: Searching: parent(joel, richard) | | |
| 22: Found: parent(joel, richard) | | |
| 23: Found: uncle(charles, richard) | | |
| 24: Found: query | {'Result': 'truth = True'} | | |