f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Beginning Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: great_uncle_aunt(tommy, rufus) | | 2: Searching: great_uncle_aunt(tommy, rufus) |
| 3: Searching: grandparent(tommy, Candidate Variable_0) | | 3: Searching: grandparent(tommy, Candidate Variable_0) |
| 4: Found: grandparent(tommy, david) | | 4: Found: grandparent(tommy, david) |
| 5: Searching: parent_child(Candidate Variable_1, david) | | 5: Searching: parent_child(Candidate Variable_1, david) |
| 6: Found: parent_child(judy, david) | | 6: Found: parent_child(judy, david) |
| 7: Searching: sibling(judy, Candidate Variable_2) | | 7: Searching: sibling(judy, Candidate Variable_2) |
| 8: Found: sibling(judy, spencer) | | 8: Found: sibling(judy, spencer) |
| 9: Searching: parent_child(spencer, rufus) | | 9: Searching: parent_child(spencer, rufus) |
| 10: Fail: parent_child(spencer, rufus) | | 10: Fail: parent_child(spencer, rufus) | {'Result': 'Search Failed'} |
| 11: Backtrack to parent_child(Candidate Variable_1, david) | | 11: Fail: great_uncle_aunt(tommy, rufus) | {'Result': 'Search Failed'} |
| 12: Redo: parent_child(Candidate Variable_1, david) | | 12: Fail: query | {'Result': 'Search Failed'} |
| 13: Found: parent_child(judy, david) | | |
| 14: Searching: sibling(judy, Candidate Variable_2) | | |
| 15: Found: sibling(judy, spencer) | | |
| 16: Searching: parent_child(spencer, rufus) | | |
| 17: Fail: parent_child(spencer, rufus) | | |
| 18: Backtrack to sibling(judy, Candidate Variable_2) | | |
| 19: Redo: sibling(judy, Candidate Variable_2) | | |
| 20: Found: sibling(judy, spencer) | | |
| 21: Searching: parent_child(Candidate Variable_3, rufus) | | |
| 22: Found: parent_child(reynaldo, rufus) | | |
| 23: Found: great_uncle_aunt(tommy, rufus) | | |
| 24: Searching: in_law(rufus, maxine) | | |
| 25: Searching: spouse(rufus, Candidate Variable_4) | | |
| 26: Found: spouse(rufus, maxine) | | |
| 27: Searching: sibling(maxine, rufus) | | |
| 28: Fail: sibling(maxine, rufus) | | |
| 29: Backtrack to in_law(rufus, maxine) | | |
| 30: Redo: in_law(rufus, maxine) | | |
| 31: Searching: spouse(rufus, Candidate Variable_4) | | |
| 32: Found: spouse(rufus, maxine) | | |
| 33: Searching: sibling(maxine, rufus) | | |
| 34: Fail: sibling(maxine, rufus) | | |
| 35: Found: query | {'Result': 'truth = False'} | | |