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: can_outdunk_without_force(darth_vader, bill_walton)4 2: Searching: can_outdunk_without_force(darth_vader, bill_walton)
t5 3: Searching: physical_attributes(darth_vader, _, _, _)t5 3: Searching: physical_attributes(darth_vader, Candidate Variable_0, Candidate Variable_1, Candidate Variable_2)
6 4: Searching: physical_attributes(darth_vader, height(unknown), strength(unknown), agility(unknown))6 4: Found: physical_attributes(darth_vader, height(unknown), strength(unknown), agility(unknown))
7 5: Searching: physical_attributes(bill_walton, _, _, _)7 5: Searching: physical_attributes(bill_walton, Candidate Variable_3, Candidate Variable_4, Candidate Variable_5)
8 6: Searching: physical_attributes(bill_walton, height(unknown), strength(unknown), agility(unknown))8 6: Found: physical_attributes(bill_walton, height(unknown), strength(unknown), agility(unknown))
9 7: Searching: basketball_skills(darth_vader, Dunking, Vertical, _)9 7: Searching: basketball_skills(darth_vader, Candidate Variable_6, Candidate Variable_7, Candidate Variable_8)
10 8: Searching: basketball_skills(darth_vader, dunking_ability(unknown), vertical_leap(unknown), experience(unknown))10 8: Found: basketball_skills(darth_vader, dunking_ability(unknown), vertical_leap(unknown), experience(unknown))
11 9: Searching: basketball_skills(bill_walton, Bill_Dunking, Bill_Vertical, _)11 9: Searching: basketball_skills(bill_walton, Candidate Variable_9, Candidate Variable_10, Candidate Variable_11)
12 10: Searching: basketball_skills(bill_walton, dunking_ability(high), vertical_leap(high), experience(professional_player))12 10: Found: basketball_skills(bill_walton, dunking_ability(high), vertical_leap(high), experience(professional_player))
13 11: Searching: high>high13 11: Searching: dunking_ability
14 12: Searching: high>high
15 13: Fail: high>high | {'Result': 'Search Failed'}14 12: Fail: dunking_ability | {'Result': 'Search Failed'}
16 14: Fail: can_outdunk_without_force(darth_vader, bill_walton) | {'Result': 'Search Failed'}15 13: Fail: can_outdunk_without_force(darth_vader, bill_walton) | {'Result': 'Search Failed'}
17 15: Fail: query | {'Result': 'Search Failed'}16 14: Fail: query | {'Result': 'Search Failed'}
17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op