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: has_mao_inhibitors(candy_bar)4 2: Searching: has_mao_inhibitors(candy_bar)
n5 3: Searching: contains_chocolate(candy_bar)n5 3: Found: has_mao_inhibitors(candy_bar)
6 4: Searching: contains_sugar(candy_bar)6 4: Searching: situation_evaluation(depressed, candy_bar)
7 5: Searching: contains_fat(candy_bar)7 5: Fail: situation_evaluation(depressed, candy_bar) | {'Result': 'Search Failed'}
8 6: Searching: has_nutritional_value(candy_bar)8 6: Fail: query | {'Result': 'Search Failed'}
9 7: Searching: contains_chocolate(candy_bar)
10 8: Searching: contains_sugar(candy_bar)
11 9: Searching: contains_fat(candy_bar)
12 10: Searching: has_nutritional_value(candy_bar)
139
t1411: Searching: has_mood_lifting_compounds(candy_bar)t
15 12: Searching: contains_chocolate(candy_bar)
16 13: Searching: has_mood_lifting_compounds(candy_bar)
17 
1814: Searching: scientific_studies_support(candy_bar)
19 15: Searching: scientific_studies_support(candy_bar)
20 16: Searching: situation_evaluation(depressed, candy_bar)
21 17: Searching: has_mood_lifting_compounds(candy_bar)
22 18: Searching: has_nutritional_value(candy_bar)
23 19: Searching: scientific_studies_support(candy_bar)
24 20: Searching: personalized_for_friend(candy_bar, depressed)
25 21: Searching: personalized_for_friend(candy_bar, depressed)
26 22: Searching: query | {'Result': 'yes'}
27 
28Looking for other paths: Redo: has_mood_lifting_compounds(candy_bar)
29 
30 
31[Path 2]:
32 23: Fail: contains_chocolate(candy_bar) | {'Result': 'Search Failed'}
33 24: Fail: has_mood_lifting_compounds(candy_bar) | {'Result': 'Search Failed'}
34 25: Fail: scientific_studies_support(candy_bar) | {'Result': 'Search Failed'}
35 26: Fail: situation_evaluation(depressed, candy_bar) | {'Result': 'Search Failed'}
36 27: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op