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: relationship(april, melba) | | 2: Searching: relationship(april, melba) |
| 3: Fail: parent(april, melba) | | 3: Searching: parent(april, melba) |
| 4: Backtrack to: relationship(april, melba) | | 4: Fail: parent(april, melba) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: relationship(april, melba) |
| | | |
| | | |
| | | [Path 2]: |
| | | 5: Searching: parent(melba, april) |
| | | 6: Fail: parent(melba, april) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: relationship(april, melba) |
| | | |
| | | |
| | | [Path 3]: |
| 5: Fail: sibling(april, melba) | | 7: Searching: sibling(april, melba) |
| 6: Backtrack to: relationship(april, melba) | | 8: Searching: parent(Candidate Variable_0, april) |
| | | 9: Fail: parent(Candidate Variable_0, april) | {'Result': 'Search Failed'} |
| | | 10: Fail: sibling(april, melba) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: relationship(april, melba) |
| | | |
| | | |
| | | [Path 4]: |
| 7: Fail: sibling(melba, april) | | 11: Searching: sibling(melba, april) |
| 8: Backtrack to: query | | 12: Searching: parent(Candidate Variable_1, melba) |
| 9: Fail: relationship(april, melba), write(true) | | 13: Found: parent(benjamin, melba) |
| 10: Backtrack to: query | | 14: Searching: parent(benjamin, april) |
| 11: Found: query | {'Result': 'false'} | | 15: Fail: parent(benjamin, april) | {'Result': 'Search Failed'} |
| | | 16: Fail: sibling(melba, april) | {'Result': 'Search Failed'} |
| | | 17: Fail: relationship(april, melba) | {'Result': 'Search Failed'} |
| | | 18: Fail: query | {'Result': 'Search Failed'} |
| | | |