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: featured_in_ride(tom_and_jerry) | | 2: Searching: featured_in_ride(tom_and_jerry) |
| 3: Searching: character(tom_and_jerry) | | 3: Searching: character(tom_and_jerry) |
t | 4: Searching: ride(Ride) | t | |
| 5: Searching: ride(Ride) | | |
| 6: Searching: =(Ride, tom_and_jerry_ride) | | |
| 7: Unify: Ride = tom_and_jerry_ride | | |
| 8: Success: =(tom_and_jerry_ride, tom_and_jerry_ride) | | |
| 9: Success: ride(tom_and_jerry_ride) | | |
| 10: Success: character(tom_and_jerry) | | 4: Found: character(tom_and_jerry) |
| | | 5: Searching: ride(Candidate Variable_0) |
| | | 6: Found: ride(space_mountain) |
| | | 7: Searching: space_mountain=tom_and_jerry_ride |
| | | 8: Fail: space_mountain=tom_and_jerry_ride | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: ride(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 2]: |
| | | 9: Found: ride(pirates_of_the_caribbean) |
| | | 10: Searching: pirates_of_the_caribbean=tom_and_jerry_ride |
| | | 11: Fail: pirates_of_the_caribbean=tom_and_jerry_ride | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: ride(Candidate Variable_0) |
| | | |
| | | |
| | | [Path 3]: |
| | | 12: Found: ride(tom_and_jerry_ride) |
| | | 13: Searching: tom_and_jerry_ride=tom_and_jerry_ride |
| | | 14: Found: tom_and_jerry_ride=tom_and_jerry_ride |
| 11: Success: featured_in_ride(tom_and_jerry) | | 15: Found: featured_in_ride(tom_and_jerry) |
| 12: Success: query | | 16: Found: query | {'Result': 'Yes'} |
| 13: Stop Execution: All Goals Satisfied. Solution Found. | | |