f | 1 | [Path 1]: | f | 1 | [Path 1]:
| 2 | 0: Start of execution: Beginning Search |  | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query |  | 3 | 1: Searching: query
| 4 | 2: Searching: sibling(frank, april) |  | 4 | 2: Searching: sibling(frank, april)
| 5 | 3: Searching: parent(Candidate Variable_0, frank) |  | 5 | 3: Searching: parent(Candidate Variable_0, frank)
| 6 | 4: Found: parent(nicole, frank) |  | 6 | 4: Found: parent(nicole, frank)
| 7 | 5: Searching: parent(nicole, april) |  | 7 | 5: Searching: parent(nicole, april)
n | 8 | 6: Found: parent(nicole, april) | n | 8 | 6: Fail: parent(nicole, april) | {'Result': 'Search Failed'}
| 9 | 7: Searching: frank=april |  |  |
| 10 | 8: Fail: frank=april | {'Result': 'Search Failed'} |  | 9 | 7: Fail: sibling(frank, april) | {'Result': 'Search Failed'}
| 11 | 9: Redo: parent(Candidate Variable_0, frank) |  | 10 | 8: Fail: query | {'Result': 'Search Failed'}
| 12 |  |  | 11 |
t | 13 | [Path 2]: | t |  |
| 14 | 10: Found: parent(nicole, toni) |  |  |
| 15 | 11: Searching: parent(nicole, Candidate Variable_1) |  |  |
| 16 | 12: Found: parent(nicole, melba) |  |  |
| 17 | 13: Searching: toni=april |  |  |
| 18 | 14: Fail: toni=april | {'Result': 'Search Failed'} |  |  |
| 19 | 15: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 20 |  |  |  |
| 21 | [Path 3]: |  |  |
| 22 | 16: Redo: parent(Candidate Variable_0, frank) |  |  |
| 23 |  |  |  |
| 24 | [Path 4]: |  |  |
| 25 | 17: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 26 |  |  |  |
| 27 | [Path 5]: |  |  |
| 28 | 18: Found: parent(nicole, toni) |  |  |
| 29 | 19: Redo: parent(nicole, Candidate Variable_0) |  |  |
| 30 |  |  |  |
| 31 | [Path 6]: |  |  |
| 32 | 20: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 33 |  |  |  |
| 34 | [Path 7]: |  |  |
| 35 | 21: Redo: parent(Candidate Variable_0, frank) |  |  |
| 36 |  |  |  |
| 37 | [Path 8]: |  |  |
| 38 | 22: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 39 |  |  |  |
| 40 | [Path 9]: |  |  |
| 41 | 23: Redo: parent(Candidate Variable_0, frank) |  |  |
| 42 |  |  |  |
| 43 | [Path 10]: |  |  |
| 44 | 24: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 45 |  |  |  |
| 46 | [Path 11]: |  |  |
| 47 | 25: Redo: parent(Candidate Variable_0, frank) |  |  |
| 48 |  |  |  |
| 49 | [Path 12]: |  |  |
| 50 | 26: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 51 |  |  |  |
| 52 | [Path 13]: |  |  |
| 53 | 27: Redo: parent(Candidate Variable_0, frank) |  |  |
| 54 |  |  |  |
| 55 | [Path 14]: |  |  |
| 56 | 28: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 57 |  |  |  |
| 58 | [Path 15]: |  |  |
| 59 | 29: Redo: parent(Candidate Variable_0, frank) |  |  |
| 60 |  |  |  |
| 61 | [Path 16]: |  |  |
| 62 | 30: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 63 |  |  |  |
| 64 | [Path 17]: |  |  |
| 65 | 31: Redo: parent(Candidate Variable_0, frank) |  |  |
| 66 |  |  |  |
| 67 | [Path 18]: |  |  |
| 68 | 32: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 69 |  |  |  |
| 70 | [Path 19]: |  |  |
| 71 | 33: Redo: parent(Candidate Variable_0, frank) |  |  |
| 72 |  |  |  |
| 73 | [Path 20]: |  |  |
| 74 | 34: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 75 |  |  |  |
| 76 | [Path 21]: |  |  |
| 77 | 35: Redo: parent(Candidate Variable_0, frank) |  |  |
| 78 |  |  |  |
| 79 | [Path 22]: |  |  |
| 80 | 36: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 81 |  |  |  |
| 82 | [Path 23]: |  |  |
| 83 | 37: Redo: parent(Candidate Variable_0, frank) |  |  |
| 84 |  |  |  |
| 85 | [Path 24]: |  |  |
| 86 | 38: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 87 |  |  |  |
| 88 | [Path 25]: |  |  |
| 89 | 39: Redo: parent(Candidate Variable_0, frank) |  |  |
| 90 |  |  |  |
| 91 | [Path 26]: |  |  |
| 92 | 40: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 93 |  |  |  |
| 94 | [Path 27]: |  |  |
| 95 | 41: Redo: parent(Candidate Variable_0, frank) |  |  |
| 96 |  |  |  |
| 97 | [Path 28]: |  |  |
| 98 | 42: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 99 |  |  |  |
| 100 | [Path 29]: |  |  |
| 101 | 43: Redo: parent(Candidate Variable_0, frank) |  |  |
| 102 |  |  |  |
| 103 | [Path 30]: |  |  |
| 104 | 44: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 105 |  |  |  |
| 106 | [Path 31]: |  |  |
| 107 | 45: Redo: parent(Candidate Variable_0, frank) |  |  |
| 108 |  |  |  |
| 109 | [Path 32]: |  |  |
| 110 | 46: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 111 |  |  |  |
| 112 | [Path 33]: |  |  |
| 113 | 47: Redo: parent(Candidate Variable_0, frank) |  |  |
| 114 |  |  |  |
| 115 | [Path 34]: |  |  |
| 116 | 48: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 117 |  |  |  |
| 118 | [Path 35]: |  |  |
| 119 | 49: Redo: parent(Candidate Variable_0, frank) |  |  |
| 120 |  |  |  |
| 121 | [Path 36]: |  |  |
| 122 | 50: Redo: parent(nicole, Candidate Variable_1) |  |  |
| 123 |  |  |  |
| 124 | [ |  |  |

Legends
Colors
Added
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op