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 |
n | 2: Searching: canidae_in_fable(aesops_fables, Species) | n | 2: Searching: canidae_in_fable(aesops_fables, Candidate Variable_0) |
| 3: Searching: animal_in_fable(aesops_fables, Animal) | | 3: Searching: animal_in_fable(aesops_fables, Candidate Variable_1) |
| 4: Searching: animal_in_fable(aesops_fables, fox) | | 4: Found: animal_in_fable(aesops_fables, fox) |
| 5: Searching: canidae_species(Candidate Variable_0) | | 5: Searching: canidae_species(Candidate Variable_0) |
n | 6: Searching: canidae_species(fox) | n | 6: Found: canidae_species(fox) |
| 7: Searching: canidae_species(Candidate Variable_1) | | 7: Searching: fox=fox |
| 8: Searching: canidae_species(wolf) | | 8: Found: fox=fox |
| 9: Searching: canidae_species(dog) | | 9: Found: canidae_in_fable(aesops_fables, fox) |
| 10: Searching: canidae_species(dog) | | |
| 11: Searching: Aesop's Fables features the fox | | 10: Comment: Aesop's Fables features the |
| 12: Searching: Aesop's Fables features the wolf | | 11: Comment: fox |
| 13: Searching: Aesop's Fables features the dog | | 12: Comment: as a character |
| 14: Fail: canidae_species(dog) | {'Result': 'Search Failed'} | | 13: Found: query | {'Result': 'Yes'} |
| 15: Fail: canidae_in_fable(aesops_fables, Species) | {'Result': 'Search Failed'} | | |
| 16: Fail: query | {'Result': 'Search Failed'} | | Looking for other paths: Redo: canidae_species(Candidate Variable_0) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
t | | t | 14: Found: canidae_species(wolf) |
| | | 15: Searching: wolf=fox |
| | | 16: Fail: wolf=fox | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: canidae_species(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 3]: |
| | | 17: Found: canidae_species(dog) |
| | | 18: Searching: dog=fox |
| | | 19: Fail: dog=fox | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: animal_in_fable(aesops_fables, Candidate Variable_1) |
| | | |
| | | |
| | | [Path 4]: |
| 17: Searching: animal_in_fable(aesops_fables, wolf) | | 20: Found: animal_in_fable(aesops_fables, wolf) |
| 18: Searching: canidae_species(Candidate Variable_2) | | 21: Searching: canidae_species(Candidate Variable_0) |
| 19: Searching: canidae_species(wolf) | | |
| 20: Searching: canidae_species(Candidate Variable_3) | | |
| 21: Searching: canidae_species(fox) | | 22: Found: canidae_species(fox) |
| 22: Searching: canidae_species(dog) | | 23: Searching: fox=wolf |
| 23: Searching: canidae_species(dog) | | 24: Fail: fox=wolf | {'Result': 'Search Failed'} |
| 24: Searching: Aesop's Fables features the wolf | | |
| | | Looking for other paths: Redo: canidae_species(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 5]: |
| | | 25: Found: canidae_species(wolf) |
| | | 26: Searching: wolf=wolf |
| | | 27: Found: wolf=wolf |
| | | 28: Found: canidae_in_fable(aesops_fables, wolf) |
| 25: Searching: Aesop's Fables features the dog | | 29: Comment: Aesop's Fables features the |
| | | 30: Comment: wolf |
| | | 31: Comment: as a character |
| | | 32: Found: query | {'Result': 'Yes'} |
| | | |
| | | Looking for other paths: Redo: canidae_species(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 6]: |
| | | 33: Found: canidae_species(dog) |
| | | 34: Searching: dog=wolf |
| 26: Fail: canidae_species(dog) | {'Result': 'Search Failed'} | | 35: Fail: dog=wolf | {'Result': 'Search Failed'} |
| 27: Fail: canidae_in_fable(aesops_fables, Species) | {'Result': 'Search Failed'} | | 36: Fail: canidae_in_fable(aesops_fables, Candidate Variable_0) | {'Result': 'Search Failed'} |
| 28: Fail: query | {'Result': 'Search Failed'} | | 37: Fail: query | {'Result': 'Search Failed'} |
| | | |