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: can_drive_from_to('New England', 'Sainsbury\'s') | | 2: Searching: can_drive_from_to('New England', 'Sainsbury\'s') |
n | 3: Searching: region('New England', Country1) | n | 3: Searching: region('New England', Candidate Variable_0) |
| 4: Searching: region('New England', Country1) | | 4: Found: region('New England', usa) |
| 5: Searching: region('Sainsbury\'s', Country2) | | 5: Searching: region('Sainsbury\'s', Candidate Variable_1) |
| 6: Searching: region('Sainsbury\'s', Country2) | | 6: Fail: region('Sainsbury\'s', Candidate Variable_1) | {'Result': 'Search Failed'} |
| 7: Searching: transportation_mode(driving) | | |
| 8: Searching: transportation_mode(driving) | | |
| 9: Searching: ocean_between(usa, uk) | | |
| 10: Searching: ocean('Atlantic') | | |
| 11: Searching: (usa=usa, uk=uk) | | |
| 12: Searching: (usa=uk, uk=usa) | | |
| 13: Fail: (usa=uk, uk=usa) | {'Result': 'Search Failed'} | | |
| 14: Fail: (usa=usa, uk=uk) | {'Result': 'Search Failed'} | | |
| 15: Fail: ocean_between(usa, uk) | {'Result': 'Search Failed'} | | |
| 16: Fail: can_drive_from_to('New England', 'Sainsbury\'s') | {'Result': 'Search Failed'} | | 7: Fail: can_drive_from_to('New England', 'Sainsbury\'s') | {'Result': 'Search Failed'} |
| | | 8: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | Looking for other paths: Redo: region('Sainsbury\'s', Country2) | t | |