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: polar_bears_in_ancient_greece(Candidate Variable_0) | | 2: Searching: polar_bears_in_ancient_greece(Candidate Variable_0) |
| 3: Searching: habitat(polar_bears, Candidate Variable_1) | | 3: Searching: habitat(polar_bears, Candidate Variable_1) |
n | 4: Searching: habitat(polar_bears, arctic) | n | 4: Found: habitat(polar_bears, arctic) |
| 5: Searching: climate(ancient_greece, Candidate Variable_2) | | 5: Searching: climate(ancient_greece, Candidate Variable_2) |
n | 6: Searching: climate(ancient_greece, mediterranean) | n | 6: Found: climate(ancient_greece, mediterranean) |
| 7: Searching: arctic\=arctic | | 7: Searching: arctic\=arctic |
| 8: Fail: arctic\=arctic | {'Result': 'Search Failed'} | | 8: Fail: arctic\=arctic | {'Result': 'Search Failed'} |
| | | |
| Looking for other paths: Redo: polar_bears_in_ancient_greece(Candidate Variable_0) | | Looking for other paths: Redo: polar_bears_in_ancient_greece(Candidate Variable_0) |
t | | t | |
| | | |
| | | [Path 2]: |
| | | 9: Searching: mediterranean\=mediterranean |
| | | 10: Fail: mediterranean\=mediterranean | {'Result': 'Search Failed'} |
| | | 11: Fail: polar_bears_in_ancient_greece(Candidate Variable_0) | {'Result': 'Search Failed'} |
| | | 12: Fail: query | {'Result': 'Search Failed'} |
| | | |