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: ideal_choice(nicole_kidman, psylocke)4 2: Searching: ideal_choice(nicole_kidman, psylocke)
t5 3: Searching: within_height_range(nicole_kidman, psylocke)t
6 4: Searching: person(nicole_kidman, Candidate Variable_0, Candidate Variable_1, Candidate Variable_2, Candidate Variable_3)5 3: Searching: person(nicole_kidman, Candidate Variable_0, Candidate Variable_1, Candidate Variable_2, Candidate Variable_3)
7 5Searching: person(nicole_kidman, female, actor, 180, 57)6 4Found: person(nicole_kidman, female, actor, 180, 57)
8 6: Searching: character_height_range(psylocke, Candidate Variable_4, Candidate Variable_5)7 5: Searching: character(psylocke, female, Candidate Variable_4, Candidate Variable_5)
9 7: Searching: character_height_range(psylocke, 165, 175)8 6: Found: character(psylocke, female, hero, [psychic, martial_artist, telekinetic])
10 8: Searching: 180>=165
11 9: Searching: 180>=165
12 10: Searching: 180=<175
13 11: Searching: 180=<175
14 12: Searching: within_height_range(nicole_kidman, psylocke)9 7: Searching: within_height_range(nicole_kidman, psylocke)
15 13: Searching: ideal_choice(nicole_kidman, psylocke)10 8: Searching: person(nicole_kidman, Candidate Variable_6, Candidate Variable_7, Candidate Variable_8, Candidate Variable_9)
16 14: Searching: query | {'Result': 'yes'}11 9: Found: person(nicole_kidman, female, actor, 180, 57)
12 10: Searching: character_height_range(psylocke, Candidate Variable_10, Candidate Variable_11)
13 11: Found: character_height_range(psylocke, 165, 175)
14 12: Searching: 180>=165
15 13: Found: 180>=165
16 14: Searching: 180=<175
17 15: Fail: 180=<175 | {'Result': 'Search Failed'}
18 16: Fail: within_height_range(nicole_kidman, psylocke) | {'Result': 'Search Failed'}
19 
20Looking for other paths: Redo: ideal_choice(nicole_kidman, psylocke)
21 
22 
23[Path 2]:
24 17: Searching: adjustable(height, Candidate Variable_12)
25 18: Found: adjustable(height, visual_effects)
26 19: Searching: adjustable(weight, visual_effects)
27 20: Fail: adjustable(weight, visual_effects) | {'Result': 'Search Failed'}
28 21: Fail: ideal_choice(nicole_kidman, psylocke) | {'Result': 'Search Failed'}
29 22: Fail: query | {'Result': 'Search Failed'}
30 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op