f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: exercise(floor_exercises)4 2: Searching: exercise(floor_exercises)
nn5 3: Found: exercise(floor_exercises)
5 3: Searching: tibia_required(floor_exercises)6 4: Searching: tibia_required(floor_exercises)
6 4: Searching: essential_tibia_functions(floor_exercises)7 5: Searching: essential_tibia_functions(floor_exercises)
7 5: Searching: exercise(floor_exercises)8 6: Searching: exercise(floor_exercises)
9 7: Found: exercise(floor_exercises)
8 6: Searching: role_in_exercises(tibia, floor_exercises)10 8: Searching: role_in_exercises(tibia, floor_exercises)
9 7: Searching: exercise(floor_exercises)11 9: Searching: exercise(floor_exercises)
12 10: Found: exercise(floor_exercises)
13 11: Searching: function(tibia, Candidate Variable_0)
10 8Searching: function(tibia, weight_bearing)14 12Found: function(tibia, weight_bearing)
11 9: Searching: purpose(floor_exercises, weight_bearing)15 13: Searching: purpose(floor_exercises, weight_bearing)
12 10: Fail: purpose(floor_exercises, weight_bearing)16 14: Fail: purpose(floor_exercises, weight_bearing) | {'Result': 'Search Failed'}
13 11: Searching: role_in_exercises(fibula, floor_exercises)
14 12: Searching: role_in_exercises(fibula, floor_exercises)
15 13: Searching: function(fibula, stability)
16 14: Searching: purpose(floor_exercises, stability)
17 15: Searching: purpose(floor_exercises, stability)
18 16: Searching: tibia_required(floor_exercises)
19 17: Searching: expert_opinion(tibia_required_for_floor_exercises, yes)
20 18: Searching: expert_opinion(tibia_required_for_floor_exercises, yes)
21 19: Searching: role_in_exercises(tibia, floor_exercises)
22 20: Searching: role_in_exercises(tibia, floor_exercises)
23 21: Searching: function(tibia, weight_bearing)
24 22: Searching: function(tibia, weight_bearing)
25 23: Searching: alternative_exercises(floor_exercises, Pushups)
26 24: Searching: alternative_exercises(floor_exercises, Pushups)
27 25: Searching: alternative_exercises(tibia_not_required, [push_ups, sit_ups])
28 26: Fail: alternative_exercises(floor_exercises, _) | {'Result': 'Search Failed'}17 15: Fail: role_in_exercises(tibia, floor_exercises) | {'Result': 'Search Failed'}
29 27: {'Result': 'yes'}18 16: Fail: essential_tibia_functions(floor_exercises) | {'Result': 'Search Failed'}
30 28: Searching: tibia_required(floor_exercises) | {'Result': 'yes'}19 
31 29: Searching: query | {'Result': 'yes'}20Looking for other paths: Redo: tibia_required(floor_exercises)
3221
3322
t34The search path confirms the requirement of the tibia for floor exercises based on the defined predicates and assumptions.t23[Path 2]:
24 17: Searching: expert_opinion(tibia_required_for_floor_exercises, yes)
25 18: Found: expert_opinion(tibia_required_for_floor_exercises, yes)
26 19: Searching: role_in_exercises(tibia, floor_exercises)
27 20: Searching: exercise(floor_exercises)
28 21: Found: exercise(floor_exercises)
29 22: Searching: function(tibia, Candidate Variable_1)
30 23: Found: function(tibia, weight_bearing)
31 24: Searching: purpose(floor_exercises, weight_bearing)
32 25: Fail: purpose(floor_exercises, weight_bearing) | {'Result': 'Search Failed'}
33 26: Fail: role_in_exercises(tibia, floor_exercises) | {'Result': 'Search Failed'}
34 27: Fail: tibia_required(floor_exercises) | {'Result': 'Search Failed'}
35 28: Fail: query | {'Result': 'Search Failed'}
36 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op