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: dietary_recommendation(john)4 2: Searching: dietary_recommendation(john)
n5 3: Searching: impact_of_oranges(john, Impact)n5 3: Searching: impact_of_oranges(john, Candidate Variable_0)
6 4: Searching: individual_sensitivity(john, Condition)6 4: Searching: individual_sensitivity(john, Candidate Variable_1)
7 5: Searching: individual_sensitivity(john, sensitive_digestive_system)7 5: Fail: individual_sensitivity(john, Candidate Variable_1) | {'Result': 'Search Failed'}
8 6: Searching: oranges_nutrients(_, fiber, fiber)8 6: Fail: impact_of_oranges(john, Candidate Variable_0) | {'Result': 'Search Failed'}
9 7: Searching: oranges_nutrients(fiber, _, fiber)9 7: Fail: dietary_recommendation(john) | {'Result': 'Search Failed'}
10 8: Searching: impact_of_oranges(john, high)10 8: Fail: query | {'Result': 'Search Failed'}
11 9: Searching: moderate_consumption=moderate
12 10: Searching: moderate_consumption=moderate
13 11: Searching: format('For ~w, the recommended orange consumption is ~w.'-[john, moderate])
14 12: Searching: For john, the recommended orange consumption is moderate.
15 13: Searching: dietary_recommendation(john)
16 14: Searching: format('~n~w~n' ['Result'])
17 15: Searching: ~nResult~n
18 16: Searching: query | {'Result': 'yes'}
1911
t20Looking for other paths: Redo: individual_sensitivity(john, Condition)t
21 
22 
23[Path 2]:
24 17: Searching: individual_sensitivity(john, fiber_intolerance)
25 18: Searching: oranges_nutrients(_, _, citric_acid)
26 19: Searching: oranges_nutrients(fiber, _, citric_acid)
27 20: Fail: oranges_nutrients(fiber, _, citric_acid) | {'Result': 'Search Failed'}
28 
29Looking for other paths: Redo: impact_of_oranges(john, Impact)
30 
31 
32[Path 3]:
33 21: Searching: impact_of_oranges(john, moderate)
34 22: Searching: moderate_consumption=consume_oranges
35 23: Searching: moderate_consumption=consume_oranges
36 24: Searching: format('For ~w, the recommended orange consumption is ~w.'-[john, consume_oranges])
37 25: Searching: For john, the recommended orange consumption is consume_oranges.
38 26: Searching: dietary_recommendation(john)
39 27: Searching: format('~n~w~n' ['Result'])
40 28: Searching: ~nResult~n
41 29: Searching: query | {'Result': 'yes'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op