f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: amtrak_to_underworld4 2: Searching: amtrak_to_underworld
5 3: Searching: amtrak_route(Candidate Variable_0)5 3: Searching: amtrak_route(Candidate Variable_0)
n6 4: Searching: amtrak_route(california_zephyr)n6 4: Found: amtrak_route(california_zephyr)
7 5: Searching: route_has_symbolic_association(californian_zephyr)7 5: Searching: route_has_symbolic_association(california_zephyr)
8 6: Searching: false8 6: Searching: false
9 7: Fail: false | {'Result': 'Search Failed'}9 7: Fail: false | {'Result': 'Search Failed'}
n10 8: Fail: route_has_symbolic_association(californian_zephyr) | {'Result': 'Search Failed'}n10 8: Fail: route_has_symbolic_association(california_zephyr) | {'Result': 'Search Failed'}
11 9: Fail: amtrak_to_underworld | {'Result': 'Search Failed'}
1211
n13Looking for other paths: Redo: amtrak_to_underworldn12Looking for other paths: Redo: amtrak_route(Candidate Variable_0)
1413
tt14 
15 [Path 2]:15[Path 2]:
16 10: Searching: amtrak_route(Candidate Variable_1)
17 11Searching: amtrak_route(empire_builder)16 9Found: amtrak_route(empire_builder)
18 12: Searching: route_has_symbolic_association(empire_builder)17 10: Searching: route_has_symbolic_association(empire_builder)
19 13Searching: route_has_symbolic_association(empire_builder)18 11Found: route_has_symbolic_association(empire_builder)
20 14Searching: amtrak_to_underworld19 12Found: amtrak_to_underworld
20 13: Searching: underworld(realm_of_the_dead)
21 14: Found: underworld(realm_of_the_dead)
21 15: Searching: query | {'Result': 'yes'}22 15: Found: query | {'Result': 'Yes'}
23 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op