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(frank, april) | | 2: Searching: sibling(frank, april) |
| 3: Searching: parent(Candidate Variable_0, frank) | | 3: Searching: parent(Candidate Variable_0, frank) |
| 4: Found: parent(nicole, frank) | | 4: Found: parent(nicole, frank) |
| 5: Searching: parent(nicole, april) | | 5: Searching: parent(nicole, april) |
n | 6: Found: parent(nicole, april) | n | 6: Fail: parent(nicole, april) | {'Result': 'Search Failed'} |
| 7: Searching: frank=april | | |
| 8: Fail: frank=april | {'Result': 'Search Failed'} | | 7: Fail: sibling(frank, april) | {'Result': 'Search Failed'} |
| 9: Redo: parent(Candidate Variable_0, frank) | | 8: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | [Path 2]: | t | |
| 10: Found: parent(nicole, toni) | | |
| 11: Searching: parent(nicole, Candidate Variable_1) | | |
| 12: Found: parent(nicole, melba) | | |
| 13: Searching: toni=april | | |
| 14: Fail: toni=april | {'Result': 'Search Failed'} | | |
| 15: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 3]: | | |
| 16: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 4]: | | |
| 17: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 5]: | | |
| 18: Found: parent(nicole, toni) | | |
| 19: Redo: parent(nicole, Candidate Variable_0) | | |
| | | |
| [Path 6]: | | |
| 20: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 7]: | | |
| 21: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 8]: | | |
| 22: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 9]: | | |
| 23: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 10]: | | |
| 24: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 11]: | | |
| 25: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 12]: | | |
| 26: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 13]: | | |
| 27: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 14]: | | |
| 28: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 15]: | | |
| 29: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 16]: | | |
| 30: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 17]: | | |
| 31: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 18]: | | |
| 32: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 19]: | | |
| 33: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 20]: | | |
| 34: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 21]: | | |
| 35: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 22]: | | |
| 36: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 23]: | | |
| 37: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 24]: | | |
| 38: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 25]: | | |
| 39: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 26]: | | |
| 40: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 27]: | | |
| 41: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 28]: | | |
| 42: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 29]: | | |
| 43: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 30]: | | |
| 44: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 31]: | | |
| 45: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 32]: | | |
| 46: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 33]: | | |
| 47: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 34]: | | |
| 48: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [Path 35]: | | |
| 49: Redo: parent(Candidate Variable_0, frank) | | |
| | | |
| [Path 36]: | | |
| 50: Redo: parent(nicole, Candidate Variable_1) | | |
| | | |
| [ | | |