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: ride_bicycle(Candidate Variable_0) | | 2: Searching: ride_bicycle(Candidate Variable_0) |
| 3: Searching: ride_bicycle(balance) | | 3: Found: ride_bicycle(balance) |
| 4: Searching: required_skills(Candidate Variable_1) | | 4: Searching: required_skills(Candidate Variable_1) |
| 5: Searching: required_skills(coordination) | | 5: Found: required_skills(coordination) |
| 6: Searching: control_limbs(yes) | | 6: Searching: control_limbs(Candidate Variable_2) |
| 7: Searching: goblin_shark(behavior, aquatic_hunter) | | 7: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 8: Found: goblin_shark(behavior, aquatic_hunter) |
| 8: Searching: goblin_shark(nose, elongated) | | 9: Searching: goblin_shark(nose, elongated) |
| | | 10: Found: goblin_shark(nose, elongated) |
| | | 11: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 12: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 13: Found: control_limbs(yes) |
| | | 14: Searching: lists:member |
| | | 15: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: required_skills(Candidate Variable_1) |
| | | |
| | | |
| | | [Path 2]: |
| | | 16: Found: required_skills(strength) |
| | | 17: Searching: control_limbs(Candidate Variable_3) |
| | | 18: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 19: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 20: Searching: goblin_shark(nose, elongated) |
| | | 21: Found: goblin_shark(nose, elongated) |
| | | 22: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 23: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 24: Found: control_limbs(yes) |
| | | 25: Searching: lists:member |
| | | 26: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: required_skills(Candidate Variable_1) |
| | | |
| | | |
| | | [Path 3]: |
| | | 27: Found: required_skills(reaction_time) |
| | | 28: Searching: control_limbs(Candidate Variable_4) |
| | | 29: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 30: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 31: Searching: goblin_shark(nose, elongated) |
| | | 32: Found: goblin_shark(nose, elongated) |
| | | 33: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 34: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 35: Found: control_limbs(yes) |
| | | 36: Searching: lists:member |
| | | 37: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: ride_bicycle(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 4]: |
| | | 38: Found: ride_bicycle(steering) |
| | | 39: Searching: required_skills(Candidate Variable_5) |
| | | 40: Found: required_skills(coordination) |
| | | 41: Searching: control_limbs(Candidate Variable_6) |
| | | 42: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 43: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 44: Searching: goblin_shark(nose, elongated) |
| | | 45: Found: goblin_shark(nose, elongated) |
| | | 46: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 47: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 48: Found: control_limbs(yes) |
| | | 49: Searching: lists:member |
| | | 50: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: required_skills(Candidate Variable_5) |
| | | |
| | | |
| | | [Path 5]: |
| | | 51: Found: required_skills(strength) |
| | | 52: Searching: control_limbs(Candidate Variable_7) |
| | | 53: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 54: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 55: Searching: goblin_shark(nose, elongated) |
| | | 56: Found: goblin_shark(nose, elongated) |
| | | 57: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 58: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 59: Found: control_limbs(yes) |
| | | 60: Searching: lists:member |
| | | 61: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: required_skills(Candidate Variable_5) |
| | | |
| | | |
| | | [Path 6]: |
| | | 62: Found: required_skills(reaction_time) |
| | | 63: Searching: control_limbs(Candidate Variable_8) |
| | | 64: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 65: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 66: Searching: goblin_shark(nose, elongated) |
| | | 67: Found: goblin_shark(nose, elongated) |
| | | 68: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 69: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 70: Found: control_limbs(yes) |
| | | 71: Searching: lists:member |
| | | 72: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: ride_bicycle(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 7]: |
| | | 73: Found: ride_bicycle(pedaling) |
| | | 74: Searching: required_skills(Candidate Variable_9) |
| | | 75: Found: required_skills(coordination) |
| | | 76: Searching: control_limbs(Candidate Variable_10) |
| | | 77: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 78: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 79: Searching: goblin_shark(nose, elongated) |
| | | 80: Found: goblin_shark(nose, elongated) |
| | | 81: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 82: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 83: Found: control_limbs(yes) |
| | | 84: Searching: lists:member |
| | | 85: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: required_skills(Candidate Variable_11) |
| | | |
| | | |
| | | [Path 8]: |
| | | 86: Found: required_skills(strength) |
| | | 87: Searching: control_limbs(Candidate Variable_12) |
| | | 88: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 89: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 90: Searching: goblin_shark(nose, elongated) |
| | | 91: Found: goblin_shark(nose, elongated) |
| 9: Searching: hypothetical_limbs(range_of_motion, flexible) | | 92: Searching: hypothetical_limbs(range_of_motion, flexible) |
| 10: Searching: member(balance, coordination) | | 93: Found: hypothetical_limbs(range_of_motion, flexible) |
| 11: Searching: member(balance, coordination) | | 94: Found: control_limbs(yes) |
| 12: Searching: write('With hypothetical limbs and adaptations, a goblin shark may be able to ride a bike.') | | 95: Searching: lists:member |
| 13: Searching: nl | | 96: Fail: lists:member | {'Result': 'Search Failed'} |
| 14: Searching: nl | | |
| 15: Searching: query | {'Result': 'yes'} | | Looking for other paths: Redo: required_skills(Candidate Variable_11) |
| | | |
| | | |
| | | [Path 9]: |
| | | 97: Found: required_skills(reaction_time) |
| | | 98: Searching: control_limbs(Candidate Variable_13) |
| | | 99: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 100: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 101: Searching: goblin_shark(nose, elongated) |
| | | 102: Found: goblin_shark(nose, elongated) |
| | | 103: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 104: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 105: Found: control_limbs(yes) |
| | | 106: Searching: lists:member |
| | | 107: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: ride_bicycle(Candidate Variable_14) |
| | | |
| | | |
| | | [Path 10]: |
| | | 108: Found: ride_bicycle(braking) |
| | | 109: Searching: required_skills(Candidate Variable_15) |
| | | 110: Found: required_skills(coordination) |
| | | 111: Searching: control_limbs(Candidate Variable_16) |
| | | 112: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 113: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 114: Searching: goblin_shark(nose, elongated) |
| | | 115: Found: goblin_shark(nose, elongated) |
| | | 116: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 117: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 118: Found: control_limbs(yes) |
| | | 119: Searching: lists:member |
| | | 120: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: required_skills(Candidate Variable_15) |
| | | |
| | | |
| | | [Path 11]: |
| | | 121: Found: required_skills(strength) |
| | | 122: Searching: control_limbs(Candidate Variable_17) |
| | | 123: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 124: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 125: Searching: goblin_shark(nose, elongated) |
| | | 126: Found: goblin_shark(nose, elongated) |
| | | 127: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 128: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 129: Found: control_limbs(yes) |
| | | 130: Searching: lists:member |
| | | 131: Fail: lists:member | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: required_skills(Candidate Variable_15) |
| | | |
| | | |
| | | [Path 12]: |
| | | 132: Found: required_skills(reaction_time) |
| | | 133: Searching: control_limbs(Candidate Variable_18) |
| | | 134: Searching: goblin_shark(behavior, aquatic_hunter) |
| | | 135: Found: goblin_shark(behavior, aquatic_hunter) |
| | | 136: Searching: goblin_shark(nose, elongated) |
| | | 137: Found: goblin_shark(nose, elongated) |
| | | 138: Searching: hypothetical_limbs(range_of_motion, flexible) |
| | | 139: Found: hypothetical_limbs(range_of_motion, flexible) |
| | | 140: Found: control_limbs(yes) |
| | | 141: Searching: lists:member |
| | | 142: Fail: lists:member | {'Result': 'Search Failed'} |
| | | 143: Fail: query | {'Result': 'Search Failed'} |
| | | |