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: president_exceeds_emperor | | 2: Searching: president_exceeds_emperor |
n | 3: Searching: presidential_number(PresidentialNumber, andrew_johnson) | n | 3: Searching: presidential_number(Candidate Variable_0, andrew_johnson) |
| 4: Searching: presidential_number(17, andrew_johnson) | | 4: Found: presidential_number(17, andrew_johnson) |
| 5: Searching: imperial_number(ImperialNumber, elagabalus) | | 5: Searching: imperial_number(Candidate Variable_1, elagabalus) |
| 6: Searching: imperial_number(16, elagabalus) | | 6: Found: imperial_number(16, elagabalus) |
| 7: Searching: exceeds(PresidentialNumber, ImperialNumber) | | |
| 8: Searching: exceeds(17, 16) | | 7: Searching: exceeds(17, 16) |
| | | 8: Searching: 17>16 |
| | | 9: Found: 17>16 |
| | | 10: Found: exceeds(17, 16) |
| 9: Searching: president_exceeds_emperor | | 11: Found: president_exceeds_emperor |
| 10: Searching: query | {'Result': 'yes'} | | 12: Found: query | {'Result': 'Yes'} |
| | | |
t | Looking for other paths: Redo: exceeds(PresidentialNumber, ImperialNumber) | t | |
| | | |
| | | |
| [Path 2]: | | |
| 11: Searching: exceeds(PresidentialNumber, ImperialNumber) | | |
| 12: Fail: exceeds(17, 16) | {'Result': 'Search Failed'} | | |
| 13: Fail: president_exceeds_emperor | {'Result': 'Search Failed'} | | |
| 14: Fail: query | {'Result': 'Search Failed'} | | |