f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: president_exceeds_emperor4 2: Searching: president_exceeds_emperor
n5 3: Searching: presidential_number(PresidentialNumber, andrew_johnson)n5 3: Searching: presidential_number(Candidate Variable_0, andrew_johnson)
6 4: Searching: presidential_number(17, andrew_johnson)6 4: Found: presidential_number(17, andrew_johnson)
7 5: Searching: imperial_number(ImperialNumber, elagabalus)7 5: Searching: imperial_number(Candidate Variable_1, elagabalus)
8 6: Searching: imperial_number(16, elagabalus)8 6: Found: imperial_number(16, elagabalus)
9 7: Searching: exceeds(PresidentialNumber, ImperialNumber)
10 8: Searching: exceeds(17, 16)9 7: Searching: exceeds(17, 16)
10 8: Searching: 17>16
11 9: Found: 17>16
12 10: Found: exceeds(17, 16)
11 9Searching: president_exceeds_emperor13 11Found: president_exceeds_emperor
12 10Searching: query | {'Result': 'yes'}14 12Found: query | {'Result': 'Yes'}
1315
t14Looking for other paths: Redo: exceeds(PresidentialNumber, ImperialNumber)t
15 
16 
17[Path 2]:
18 11: Searching: exceeds(PresidentialNumber, ImperialNumber)
19 12: Fail: exceeds(17, 16) | {'Result': 'Search Failed'}
20 13: Fail: president_exceeds_emperor | {'Result': 'Search Failed'}
21 14: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op