f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: pirates_cared_about_vitamin_c4 2: Searching: pirates_cared_about_vitamin_c
nn5 3: Searching: pirate_era_diet(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2)
5 3Searching: pirate_era_diet(date(1600, 1, 1), Candidate Variable_0, ['salted_meat''dried_rations''limited_fresh_produce'])6 4Found: pirate_era_diet(date(1600, 1, 1), date(1800, 12, 31), [salted_meat, dried_rations, limited_fresh_produce])
6 4: Searching: pirate_era_diet(date(1600, 1, 1), date(_,_), _).7 5: Searching: scurvy_prevention(Candidate Variable_3)
7 5Searching: scurvy_prevention(vitamin_c)8 6Found: scurvy_prevention(vitamin_c)
8 6: Searching: historical_research(Candidate Variable_1)9 7: Searching: historical_research(Candidate Variable_4)
9 7Searching: historical_research([pirate_logs, historical_medical_records, literary_accounts])10 8Found: historical_research([pirate_logs, historical_medical_records, literary_accounts])
10 8: Searching: research_outcome(historical_research, some_scurvy_references)
11 9: Searching: practicality_of_vitamin_c_procurement(low)11 9: Searching: practicality_of_vitamin_c_procurement(Candidate Variable_5)
12 10: Searching: practicality_of_vitamin_c_procurement(low)12 10: Found: practicality_of_vitamin_c_procurement(Candidate Variable_6)
13 11: Searching: \+ modern_stereotype(pirates_unconcerned_about_health)
14 12: Searching: modern_stereotype(pirates_unconcerned_about_health)13 11: Searching: modern_stereotype(pirates_unconcerned_about_health)
15 13Searching: modern_stereotype('pirates_unconcerned_about_health')14 12Found: modern_stereotype(pirates_unconcerned_about_health)
16 14: Searching: historical_research(ResearchOutcome)15 13: Fail: pirates_cared_about_vitamin_c | {'Result': 'Search Failed'}
17 15: Searching: historical_research([pirate_logs, historical_medical_records, literary_accounts])16 14: Fail: query | {'Result': 'Search Failed'}
18 16: Searching: research_outcome(ResearchOutcome, some_scurvy_references)
19 17: Searching: research_outcome(_, some_scurvy_references)
20 18: Searching: pirates_cared_about_vitamin_c
21 19: Searching: query
22 20: {'Result': 'yes'}
2317
t24 t
25[Path 2]:
26 0: Start of execution: Beginning Search
27 1: Searching: query
28 2: Searching: pirates_cared_about_vitamin_c
29 3: Searching: pirate_era_diet(date(1600, 1, 1), Candidate Variable_0, ['salted_meat', 'dried_rations', 'limited_fresh_produce'])
30 4: Searching: pirate_era_diet(date(1600, 1, 1), date(_,_), _).
31 5: Searching: scurvy_prevention(vitamin_c)
32 6: Searching: historical_research(Candidate Variable_1)
33 7: Searching: historical_research([pirate_logs, historical_medical_records, literary_accounts])
34 8: Searching: research_outcome(historical_research, no_scurvy_mention)
35 9: Fail: research_outcome(historical_research, no_scurvy_mention) | {'Result': 'Search Failed'}
36 10: Fail: historical_research(Candidate Variable_1) | {'Result': 'Search Failed'}
37 11: Fail: pirates_cared_about_vitamin_c | {'Result': 'Search Failed'}
38 12: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op