f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: frequent_swimmer_lake_michigan | | 2: Searching: frequent_swimmer_lake_michigan |
t | 3: Searching: activity(swimming_lake_michigan, Year1) | t | 3: Searching: activity(swimming_lake_michigan, Candidate Variable_0) |
| 4: First Solution: Year1 = 1981 | | |
| 5: Searching: activity(swimming_lake_michigan, Year2) | | |
| 6: First Solution: Year2 = 1982 | | |
| 7: Found: activity(swimming_lake_michigan, 1982) | | |
| 8: Found: activity(swimming_lake_michigan, 1981) | | 4: Found: activity(swimming_lake_michigan, 1981) |
| | | 5: Searching: activity(swimming_lake_michigan, Candidate Variable_1) |
| | | 6: Found: activity(swimming_lake_michigan, 1981) |
| | | 7: Searching: 1981\=1981 |
| | | 8: Fail: 1981\=1981 | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: activity(swimming_lake_michigan, Candidate Variable_1) |
| | | |
| | | |
| | | [Path 2]: |
| | | 9: Found: activity(swimming_lake_michigan, 1982) |
| | | 10: Searching: 1981\=1982 |
| | | 11: Found: 1981\=1982 |
| | | 12: Found: frequent_swimmer_lake_michigan |
| 9: Searching: credible_sources_exist | | 13: Searching: credible_sources_exist |
| 10: Searching: source_credibility(interview, high) | | 14: Searching: source_credibility(interview, high) |
| 11: Found: source_credibility(interview, high) | | 15: Found: source_credibility(interview, high) |
| 12: Found: credible_sources_exist | | 16: Found: credible_sources_exist |
| | | 17: Found: query | {'Result': 'Yes'} |
| | | |
| | | Looking for other paths: Redo: credible_sources_exist |
| | | |
| | | |
| | | [Path 3]: |
| | | 18: Searching: source_credibility(biography, high) |
| | | 19: Fail: source_credibility(biography, high) | {'Result': 'Search Failed'} |
| | | 20: Fail: credible_sources_exist | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: activity(swimming_lake_michigan, Candidate Variable_0) |
| | | |
| | | |
| | | [Path 4]: |
| | | 21: Found: activity(swimming_lake_michigan, 1982) |
| | | 22: Searching: activity(swimming_lake_michigan, Candidate Variable_2) |
| | | 23: Found: activity(swimming_lake_michigan, 1981) |
| | | 24: Searching: 1982\=1981 |
| | | 25: Found: 1982\=1981 |
| 13: Found: frequent_swimmer_lake_michigan | | 26: Found: frequent_swimmer_lake_michigan |
| 14: Found: query | | 27: Searching: credible_sources_exist |
| | | 28: Searching: source_credibility(interview, high) |
| | | 29: Found: source_credibility(interview, high) |
| | | 30: Found: credible_sources_exist |
| | | 31: Found: query | {'Result': 'Yes'} |
| | | |
| | | Looking for other paths: Redo: credible_sources_exist |
| | | |
| | | |
| | | [Path 5]: |
| | | 32: Searching: source_credibility(biography, high) |
| | | 33: Fail: source_credibility(biography, high) | {'Result': 'Search Failed'} |
| | | 34: Fail: credible_sources_exist | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: activity(swimming_lake_michigan, Candidate Variable_2) |
| | | |
| | | |
| | | [Path 6]: |
| | | 35: Found: activity(swimming_lake_michigan, 1982) |
| | | 36: Searching: 1982\=1982 |
| | | 37: Fail: 1982\=1982 | {'Result': 'Search Failed'} |
| | | 38: Fail: frequent_swimmer_lake_michigan | {'Result': 'Search Failed'} |
| | | 39: Fail: query | {'Result': 'Search Failed'} |
| | | |