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: daughter(melissa, laura) |  | 4 | 2: Searching: daughter(melissa, laura)
| 5 | 3: Searching: sibling(melissa, Candidate Variable_0) |  | 5 | 3: Searching: sibling(melissa, Candidate Variable_0)
| 6 | 4: Found: sibling(melissa, lisa) |  | 6 | 4: Found: sibling(melissa, lisa)
| 7 | 5: Searching: sibling(lisa, laura) |  | 7 | 5: Searching: sibling(lisa, laura)
| 8 | 6: Fail: sibling(lisa, laura) | {'Result': 'Search Failed'} |  | 8 | 6: Fail: sibling(lisa, laura) | {'Result': 'Search Failed'}
t | 9 | 7: Redo: sibling(melissa, Candidate Variable_0) | t | 9 | 7: Fail: daughter(melissa, laura) | {'Result': 'Search Failed'}
| 10 | 8: Found: sibling(melissa, lisa) |  | 10 | 8: Fail: query | {'Result': 'Search Failed'}
| 11 | 9: Searching: sibling(lisa, Candidate Variable_1) |  | 11 |
| 12 | 10: Fail: sibling(lisa, Candidate Variable_1) | {'Result': 'Search Failed'} |  |  |
| 13 | 11: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 14 | 12: Found: sibling(melissa, lisa) |  |  |
| 15 | 13: Searching: sibling(lisa, Candidate Variable_2) |  |  |
| 16 | 14: Fail: sibling(lisa, Candidate Variable_2) | {'Result': 'Search Failed'} |  |  |
| 17 | 15: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 18 | 16: Found: sibling(melissa, lisa) |  |  |
| 19 | 17: Searching: sibling(lisa, Candidate Variable_3) |  |  |
| 20 | 18: Fail: sibling(lisa, Candidate Variable_3) | {'Result': 'Search Failed'} |  |  |
| 21 | 19: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 22 | 20: Found: sibling(melissa, lisa) |  |  |
| 23 | 21: Searching: sibling(lisa, Candidate Variable_4) |  |  |
| 24 | 22: Fail: sibling(lisa, Candidate Variable_4) | {'Result': 'Search Failed'} |  |  |
| 25 | 23: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 26 | 24: Found: sibling(melissa, lisa) |  |  |
| 27 | 25: Searching: sibling(lisa, Candidate Variable_5) |  |  |
| 28 | 26: Fail: sibling(lisa, Candidate Variable_5) | {'Result': 'Search Failed'} |  |  |
| 29 | 27: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 30 | 28: Found: sibling(melissa, lisa) |  |  |
| 31 | 29: Searching: sibling(lisa, Candidate Variable_6) |  |  |
| 32 | 30: Fail: sibling(lisa, Candidate Variable_6) | {'Result': 'Search Failed'} |  |  |
| 33 | 31: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 34 | 32: Found: sibling(melissa, lisa) |  |  |
| 35 | 33: Searching: sibling(lisa, Candidate Variable_7) |  |  |
| 36 | 34: Fail: sibling(lisa, Candidate Variable_7) | {'Result': 'Search Failed'} |  |  |
| 37 | 35: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 38 | 36: Found: sibling(melissa, lisa) |  |  |
| 39 | 37: Searching: sibling(lisa, Candidate Variable_8) |  |  |
| 40 | 38: Fail: sibling(lisa, Candidate Variable_8) | {'Result': 'Search Failed'} |  |  |
| 41 | 39: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 42 | 40: Found: sibling(melissa, lisa) |  |  |
| 43 | 41: Searching: sibling(lisa, Candidate Variable_9) |  |  |
| 44 | 42: Fail: sibling(lisa, Candidate Variable_9) | {'Result': 'Search Failed'} |  |  |
| 45 | 43: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 46 | 44: Found: sibling(melissa, lisa) |  |  |
| 47 | 45: Searching: sibling(lisa, Candidate Variable_10) |  |  |
| 48 | 46: Fail: sibling(lisa, Candidate Variable_10) | {'Result': 'Search Failed'} |  |  |
| 49 | 47: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 50 | 48: Found: sibling(melissa, lisa) |  |  |
| 51 | 49: Searching: sibling(lisa, Candidate Variable_11) |  |  |
| 52 | 50: Fail: sibling(lisa, Candidate Variable_11) | {'Result': 'Search Failed'} |  |  |
| 53 | 51: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 54 | 52: Found: sibling(melissa, lisa) |  |  |
| 55 | 53: Searching: sibling(lisa, Candidate Variable_12) |  |  |
| 56 | 54: Fail: sibling(lisa, Candidate Variable_12) | {'Result': 'Search Failed'} |  |  |
| 57 | 55: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 58 | 56: Found: sibling(melissa, lisa) |  |  |
| 59 | 57: Searching: sibling(lisa, Candidate Variable_13) |  |  |
| 60 | 58: Fail: sibling(lisa, Candidate Variable_13) | {'Result': 'Search Failed'} |  |  |
| 61 | 59: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 62 | 60: Found: sibling(melissa, lisa) |  |  |
| 63 | 61: Searching: sibling(lisa, Candidate Variable_14) |  |  |
| 64 | 62: Fail: sibling(lisa, Candidate Variable_14) | {'Result': 'Search Failed'} |  |  |
| 65 | 63: Redo: sibling(melissa, Candidate Variable_0) |  |  |
| 66 | 64: Found: sibling(m |  |  |

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