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: featured_in_ride(tom_and_jerry)4 2: Searching: featured_in_ride(tom_and_jerry)
5 3: Searching: character(tom_and_jerry)5 3: Searching: character(tom_and_jerry)
t6 4: Searching: ride(Ride)t
7 5: Searching: ride(Ride)
8 6: Searching: =(Ride, tom_and_jerry_ride)
9 7: Unify: Ride = tom_and_jerry_ride
10 8: Success: =(tom_and_jerry_ride, tom_and_jerry_ride)
11 9: Success: ride(tom_and_jerry_ride)
12 10Success: character(tom_and_jerry)6 4Found: character(tom_and_jerry)
7 5: Searching: ride(Candidate Variable_0)
8 6: Found: ride(space_mountain)
9 7: Searching: space_mountain=tom_and_jerry_ride
10 8: Fail: space_mountain=tom_and_jerry_ride | {'Result': 'Search Failed'}
11 
12Looking for other paths: Redo: ride(Candidate Variable_0)
13 
14 
15[Path 2]:
16 9: Found: ride(pirates_of_the_caribbean)
17 10: Searching: pirates_of_the_caribbean=tom_and_jerry_ride
18 11: Fail: pirates_of_the_caribbean=tom_and_jerry_ride | {'Result': 'Search Failed'}
19 
20Looking for other paths: Redo: ride(Candidate Variable_0)
21 
22 
23[Path 3]:
24 12: Found: ride(tom_and_jerry_ride)
25 13: Searching: tom_and_jerry_ride=tom_and_jerry_ride
26 14: Found: tom_and_jerry_ride=tom_and_jerry_ride
13 11Success: featured_in_ride(tom_and_jerry)27 15Found: featured_in_ride(tom_and_jerry)
14 12: Success: query28 16: Found: query | {'Result': 'Yes'}
15 13: Stop Execution: All Goals Satisfied. Solution Found.29 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op