f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Beginning Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: probability(Candidate Variable_0) | | 2: Searching: probability(Candidate Variable_0) |
| 3: Searching: wembley_stadium(capacity, Candidate Variable_1) | | 3: Searching: wembley_stadium(capacity, Candidate Variable_1) |
| 4: Searching: wembley_stadium(capacity, over_90000) | | 4: Found: wembley_stadium(capacity, over_90000) |
| 5: Searching: estimate_probability(over_90000, Candidate Variable_0) | | 5: Searching: estimate_probability(over_90000, Candidate Variable_0) |
| 6: Searching: estimate_probability(over_90000, high) | | 6: Found: estimate_probability(over_90000, high) |
| 7: Searching: probability(high) | | 7: Found: probability(high) |
| 8: Searching: demographic_likelihood(london, high) | | 8: Searching: demographic_likelihood(Candidate Variable_2, high) |
| 9: Searching: london(demographic, Candidate Variable_2) | | 9: Searching: london(demographic, Candidate Variable_3) |
| 10: Searching: london(demographic, diverse) | | 10: Found: london(demographic, diverse) |
| 11: Searching: demographic_factor(diverse, high) | | 11: Searching: demographic_factor(diverse, high) |
| 12: Searching: demographic_factor(diverse, high) | | 12: Found: demographic_factor(diverse, high) |
| 13: Searching: demographic_likelihood(london, high) | | 13: Found: demographic_likelihood(london, high) |
| 14: Searching: genetic_likelihood(worldwide, high) | | 14: Searching: genetic_likelihood(Candidate Variable_4, high) |
| 15: Searching: worldwide(genetic_diversity, Candidate Variable_3) | | 15: Searching: worldwide(genetic_diversity, Candidate Variable_5) |
| 16: Searching: worldwide(genetic_diversity, diverse) | | 16: Found: worldwide(genetic_diversity, diverse) |
| 17: Searching: genetic_distribution(Candidate Variable_4) | | 17: Searching: genetic_distribution(Candidate Variable_6) |
| 18: Searching: genetic_distribution(uniform) | | 18: Found: genetic_distribution(uniform) |
| 19: Searching: genetic_factor(diverse, uniform, high) | | 19: Searching: genetic_factor(diverse, uniform, high) |
| 20: Searching: genetic_factor(diverse, uniform, high) | | 20: Found: genetic_factor(diverse, uniform, high) |
| 21: Searching: genetic_likelihood(worldwide, high) | | 21: Found: genetic_likelihood(worldwide, high) |
| 22: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high) | | 22: Searching: historical_likelihood(Candidate Variable_7, high) |
| 23: Searching: historical_context(mongol_empire, Candidate Variable_5) | | 23: Searching: historical_context_factor(Candidate Variable_8, high) |
| 24: Searching: historical_context(mongol_empire, wide_reach) | | 24: Fail: historical_context_factor(Candidate Variable_8, high) | {'Result': 'Search Failed'} |
| 25: Searching: historical_context_factor(wide_reach, moderate) | | 25: Fail: historical_likelihood(Candidate Variable_9, high) | {'Result': 'Search Failed'} |
| 26: Searching: historical_context_factor(wide_reach, moderate) | | |
| 27: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high) | | |
| 28: Searching: compute_overall_likelihood([high, high, high], high) | | |
| 29: Searching: sum_list([high, high, high], Candidate Variable_6) | | |
| 30: Exception: is/2: Arguments are not sufficiently instantiated | | |
| | | |
n | Looking for other paths: Redo: demographic_factor(_, Candidate Variable_7) | n | Looking for other paths: Redo: genetic_factor(diverse, uniform, high) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | 31: Searching: demographic_factor(_, moderate) | n | 26: Fail: genetic_factor(diverse, uniform, high) | {'Result': 'Search Failed'} |
| 32: Searching: demographic_likelihood(london, high) | | 27: Fail: genetic_likelihood(Candidate Variable_10, high) | {'Result': 'Search Failed'} |
| 33: Searching: genetic_likelihood(worldwide, high) | | |
| 34: Searching: worldwide(genetic_diversity, Candidate Variable_8) | | |
| 35: Searching: worldwide(genetic_diversity, diverse) | | |
| 36: Searching: genetic_distribution(Candidate Variable_9) | | |
| 37: Searching: genetic_distribution(uniform) | | |
| 38: Searching: genetic_factor(diverse, uniform, high) | | |
| 39: Searching: genetic_factor(diverse, uniform, high) | | |
| 40: Searching: genetic_likelihood(worldwide, high) | | |
| 41: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high) | | |
| 42: Searching: historical_context(mongol_empire, Candidate Variable_10) | | |
| 43: Searching: historical_context(mongol_empire, wide_reach) | | |
| 44: Searching: historical_context_factor(wide_reach, moderate) | | |
| 45: Searching: historical_context_factor(wide_reach, moderate) | | |
| 46: Searching: historical_likelihood(historical_context(mongol_empire, wide_reach), high) | | |
| 47: Searching: compute_overall_likelihood([high, high, high], high) | | |
| 48: Searching: sum_list([high, high, high], Candidate Variable_11) | | |
| 49: Exception: is/2: Arguments are not sufficiently instantiated | | |
| | | |
n | Looking for other paths: Redo: genetic_factor(_, _, Candidate Variable_12) | n | Looking for other paths: Redo: demographic_factor(diverse, high) |
| | | |
| | | |
| [Path 3]: | | [Path 3]: |
t | 50: Searching: genetic_factor(_, _, low) | t | 28: Fail: demographic_factor(diverse, high) | {'Result': 'Search Failed'} |
| 51: Fail: genetic_likelihood(worldwide, high) | {'Result': 'Search Failed'} | | 29: Fail: demographic_likelihood(Candidate Variable_11, high) | {'Result': 'Search Failed'} |
| 52: Fail: likelihood(genetic, high) | {'Result': 'Search Failed'} | | |
| 53: Fail: cumulative_likelihoods(high) | {'Result': 'Search Failed'} | | |
| 54: Fail: overall_likelihood(high) | {'Result': 'Search Failed'} | | |
| 55: Fail: query | {'Result': 'Search Failed'} | | 30: Fail: query | {'Result': 'Search Failed'} |
| | | |