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: can_drive_from_to('New England', 'Sainsbury\'s')4 2: Searching: can_drive_from_to('New England', 'Sainsbury\'s')
n5 3: Searching: region('New England', Country1)n5 3: Searching: region('New England', Candidate Variable_0)
6 4: Searching: region('New England', Country1)6 4: Found: region('New England', usa)
7 5: Searching: region('Sainsbury\'s', Country2)7 5: Searching: region('Sainsbury\'s', Candidate Variable_1)
8 6: Searching: region('Sainsbury\'s', Country2)8 6: Fail: region('Sainsbury\'s', Candidate Variable_1) | {'Result': 'Search Failed'}
9 7: Searching: transportation_mode(driving)
10 8: Searching: transportation_mode(driving)
11 9: Searching: ocean_between(usa, uk)
12 10: Searching: ocean('Atlantic')
13 11: Searching: (usa=usa, uk=uk)
14 12: Searching: (usa=uk, uk=usa)
15 13: Fail: (usa=uk, uk=usa) | {'Result': 'Search Failed'}
16 14: Fail: (usa=usa, uk=uk) | {'Result': 'Search Failed'}
17 15: Fail: ocean_between(usa, uk) | {'Result': 'Search Failed'}
18 16: Fail: can_drive_from_to('New England', 'Sainsbury\'s') | {'Result': 'Search Failed'}9 7: Fail: can_drive_from_to('New England', 'Sainsbury\'s') | {'Result': 'Search Failed'}
10 8: Fail: query | {'Result': 'Search Failed'}
1911
t20Looking for other paths: Redo: region('Sainsbury\'s', Country2)t
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op