f | 1 | [Path 1]: | f | 1 | [Path 1]:
t | 2 | 0: Start of execution: Beginning Search | t | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query |  | 3 | 1: Searching: query
| 4 | 2: Searching: ride_bicycle(Candidate Variable_0) |  | 4 | 2: Searching: ride_bicycle(Candidate Variable_0)
| 5 | 3: Searching: ride_bicycle(balance) |  | 5 | 3: Found: ride_bicycle(balance)
| 6 | 4: Searching: required_skills(Candidate Variable_1) |  | 6 | 4: Searching: required_skills(Candidate Variable_1)
| 7 | 5: Searching: required_skills(coordination) |  | 7 | 5: Found: required_skills(coordination)
| 8 | 6: Searching: control_limbs(yes) |  | 8 | 6: Searching: control_limbs(Candidate Variable_2)
| 9 | 7: Searching: goblin_shark(behavior, aquatic_hunter) |  | 9 | 7: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 10 | 8: Found: goblin_shark(behavior, aquatic_hunter)
| 10 | 8: Searching: goblin_shark(nose, elongated) |  | 11 | 9: Searching: goblin_shark(nose, elongated)
|  |  |  | 12 | 10: Found: goblin_shark(nose, elongated)
|  |  |  | 13 | 11: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 14 | 12: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 15 | 13: Found: control_limbs(yes)
|  |  |  | 16 | 14: Searching: lists:member
|  |  |  | 17 | 15: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 18 |
|  |  |  | 19 | Looking for other paths: Redo: required_skills(Candidate Variable_1)
|  |  |  | 20 |
|  |  |  | 21 |
|  |  |  | 22 | [Path 2]:
|  |  |  | 23 | 16: Found: required_skills(strength)
|  |  |  | 24 | 17: Searching: control_limbs(Candidate Variable_3)
|  |  |  | 25 | 18: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 26 | 19: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 27 | 20: Searching: goblin_shark(nose, elongated)
|  |  |  | 28 | 21: Found: goblin_shark(nose, elongated)
|  |  |  | 29 | 22: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 30 | 23: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 31 | 24: Found: control_limbs(yes)
|  |  |  | 32 | 25: Searching: lists:member
|  |  |  | 33 | 26: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 34 |
|  |  |  | 35 | Looking for other paths: Redo: required_skills(Candidate Variable_1)
|  |  |  | 36 |
|  |  |  | 37 |
|  |  |  | 38 | [Path 3]:
|  |  |  | 39 | 27: Found: required_skills(reaction_time)
|  |  |  | 40 | 28: Searching: control_limbs(Candidate Variable_4)
|  |  |  | 41 | 29: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 42 | 30: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 43 | 31: Searching: goblin_shark(nose, elongated)
|  |  |  | 44 | 32: Found: goblin_shark(nose, elongated)
|  |  |  | 45 | 33: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 46 | 34: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 47 | 35: Found: control_limbs(yes)
|  |  |  | 48 | 36: Searching: lists:member
|  |  |  | 49 | 37: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 50 |
|  |  |  | 51 | Looking for other paths: Redo: ride_bicycle(Candidate Variable_0)
|  |  |  | 52 |
|  |  |  | 53 |
|  |  |  | 54 | [Path 4]:
|  |  |  | 55 | 38: Found: ride_bicycle(steering)
|  |  |  | 56 | 39: Searching: required_skills(Candidate Variable_5)
|  |  |  | 57 | 40: Found: required_skills(coordination)
|  |  |  | 58 | 41: Searching: control_limbs(Candidate Variable_6)
|  |  |  | 59 | 42: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 60 | 43: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 61 | 44: Searching: goblin_shark(nose, elongated)
|  |  |  | 62 | 45: Found: goblin_shark(nose, elongated)
|  |  |  | 63 | 46: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 64 | 47: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 65 | 48: Found: control_limbs(yes)
|  |  |  | 66 | 49: Searching: lists:member
|  |  |  | 67 | 50: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 68 |
|  |  |  | 69 | Looking for other paths: Redo: required_skills(Candidate Variable_5)
|  |  |  | 70 |
|  |  |  | 71 |
|  |  |  | 72 | [Path 5]:
|  |  |  | 73 | 51: Found: required_skills(strength)
|  |  |  | 74 | 52: Searching: control_limbs(Candidate Variable_7)
|  |  |  | 75 | 53: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 76 | 54: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 77 | 55: Searching: goblin_shark(nose, elongated)
|  |  |  | 78 | 56: Found: goblin_shark(nose, elongated)
|  |  |  | 79 | 57: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 80 | 58: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 81 | 59: Found: control_limbs(yes)
|  |  |  | 82 | 60: Searching: lists:member
|  |  |  | 83 | 61: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 84 |
|  |  |  | 85 | Looking for other paths: Redo: required_skills(Candidate Variable_5)
|  |  |  | 86 |
|  |  |  | 87 |
|  |  |  | 88 | [Path 6]:
|  |  |  | 89 | 62: Found: required_skills(reaction_time)
|  |  |  | 90 | 63: Searching: control_limbs(Candidate Variable_8)
|  |  |  | 91 | 64: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 92 | 65: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 93 | 66: Searching: goblin_shark(nose, elongated)
|  |  |  | 94 | 67: Found: goblin_shark(nose, elongated)
|  |  |  | 95 | 68: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 96 | 69: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 97 | 70: Found: control_limbs(yes)
|  |  |  | 98 | 71: Searching: lists:member
|  |  |  | 99 | 72: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 100 |
|  |  |  | 101 | Looking for other paths: Redo: ride_bicycle(Candidate Variable_0)
|  |  |  | 102 |
|  |  |  | 103 |
|  |  |  | 104 | [Path 7]:
|  |  |  | 105 | 73: Found: ride_bicycle(pedaling)
|  |  |  | 106 | 74: Searching: required_skills(Candidate Variable_9)
|  |  |  | 107 | 75: Found: required_skills(coordination)
|  |  |  | 108 | 76: Searching: control_limbs(Candidate Variable_10)
|  |  |  | 109 | 77: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 110 | 78: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 111 | 79: Searching: goblin_shark(nose, elongated)
|  |  |  | 112 | 80: Found: goblin_shark(nose, elongated)
|  |  |  | 113 | 81: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 114 | 82: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 115 | 83: Found: control_limbs(yes)
|  |  |  | 116 | 84: Searching: lists:member
|  |  |  | 117 | 85: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 118 |
|  |  |  | 119 | Looking for other paths: Redo: required_skills(Candidate Variable_11)
|  |  |  | 120 |
|  |  |  | 121 |
|  |  |  | 122 | [Path 8]:
|  |  |  | 123 | 86: Found: required_skills(strength)
|  |  |  | 124 | 87: Searching: control_limbs(Candidate Variable_12)
|  |  |  | 125 | 88: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 126 | 89: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 127 | 90: Searching: goblin_shark(nose, elongated)
|  |  |  | 128 | 91: Found: goblin_shark(nose, elongated)
| 11 | 9: Searching: hypothetical_limbs(range_of_motion, flexible) |  | 129 | 92: Searching: hypothetical_limbs(range_of_motion, flexible)
| 12 | 10: Searching: member(balance, coordination) |  | 130 | 93: Found: hypothetical_limbs(range_of_motion, flexible)
| 13 | 11: Searching: member(balance, coordination) |  | 131 | 94: Found: control_limbs(yes)
| 14 | 12: Searching: write('With hypothetical limbs and adaptations, a goblin shark may be able to ride a bike.') |  | 132 | 95: Searching: lists:member
| 15 | 13: Searching: nl |  | 133 | 96: Fail: lists:member | {'Result': 'Search Failed'}
| 16 | 14: Searching: nl |  | 134 |
| 17 | 15: Searching: query | {'Result': 'yes'} |  | 135 | Looking for other paths: Redo: required_skills(Candidate Variable_11)
|  |  |  | 136 |
|  |  |  | 137 |
|  |  |  | 138 | [Path 9]:
|  |  |  | 139 | 97: Found: required_skills(reaction_time)
|  |  |  | 140 | 98: Searching: control_limbs(Candidate Variable_13)
|  |  |  | 141 | 99: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 142 | 100: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 143 | 101: Searching: goblin_shark(nose, elongated)
|  |  |  | 144 | 102: Found: goblin_shark(nose, elongated)
|  |  |  | 145 | 103: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 146 | 104: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 147 | 105: Found: control_limbs(yes)
|  |  |  | 148 | 106: Searching: lists:member
|  |  |  | 149 | 107: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 150 |
|  |  |  | 151 | Looking for other paths: Redo: ride_bicycle(Candidate Variable_14)
|  |  |  | 152 |
|  |  |  | 153 |
|  |  |  | 154 | [Path 10]:
|  |  |  | 155 | 108: Found: ride_bicycle(braking)
|  |  |  | 156 | 109: Searching: required_skills(Candidate Variable_15)
|  |  |  | 157 | 110: Found: required_skills(coordination)
|  |  |  | 158 | 111: Searching: control_limbs(Candidate Variable_16)
|  |  |  | 159 | 112: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 160 | 113: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 161 | 114: Searching: goblin_shark(nose, elongated)
|  |  |  | 162 | 115: Found: goblin_shark(nose, elongated)
|  |  |  | 163 | 116: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 164 | 117: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 165 | 118: Found: control_limbs(yes)
|  |  |  | 166 | 119: Searching: lists:member
|  |  |  | 167 | 120: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 168 |
|  |  |  | 169 | Looking for other paths: Redo: required_skills(Candidate Variable_15)
|  |  |  | 170 |
|  |  |  | 171 |
|  |  |  | 172 | [Path 11]:
|  |  |  | 173 | 121: Found: required_skills(strength)
|  |  |  | 174 | 122: Searching: control_limbs(Candidate Variable_17)
|  |  |  | 175 | 123: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 176 | 124: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 177 | 125: Searching: goblin_shark(nose, elongated)
|  |  |  | 178 | 126: Found: goblin_shark(nose, elongated)
|  |  |  | 179 | 127: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 180 | 128: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 181 | 129: Found: control_limbs(yes)
|  |  |  | 182 | 130: Searching: lists:member
|  |  |  | 183 | 131: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 184 |
|  |  |  | 185 | Looking for other paths: Redo: required_skills(Candidate Variable_15)
|  |  |  | 186 |
|  |  |  | 187 |
|  |  |  | 188 | [Path 12]:
|  |  |  | 189 | 132: Found: required_skills(reaction_time)
|  |  |  | 190 | 133: Searching: control_limbs(Candidate Variable_18)
|  |  |  | 191 | 134: Searching: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 192 | 135: Found: goblin_shark(behavior, aquatic_hunter)
|  |  |  | 193 | 136: Searching: goblin_shark(nose, elongated)
|  |  |  | 194 | 137: Found: goblin_shark(nose, elongated)
|  |  |  | 195 | 138: Searching: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 196 | 139: Found: hypothetical_limbs(range_of_motion, flexible)
|  |  |  | 197 | 140: Found: control_limbs(yes)
|  |  |  | 198 | 141: Searching: lists:member
|  |  |  | 199 | 142: Fail: lists:member | {'Result': 'Search Failed'}
|  |  |  | 200 | 143: Fail: query | {'Result': 'Search Failed'}
|  |  |  | 201 |

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