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: international_border(usa, canada)4 2: Searching: international_border(usa, canada)
n5 3: Searching: usa\=canadan5 3: Searching: usa=canada
6 4: Searching: usa\=canada6 4: Fail: usa=canada | {'Result': 'Search Failed'}
7 
8Looking for other paths: Redo: international_border(usa, canada)
9 
10 
11[Path 2]:
12 5: Found: international_border(usa, canada)
7 5: Searching: lake_border(Lake, usa, canada)13 6: Searching: lake_border(Candidate Variable_0, usa, canada)
8 6Searching: lake_border(superior, usa, canada)14 7Found: lake_border(superior, usa, canada)
9 7: Searching: great_lake(superior)
10 8: Searching: great_lake(superior)15 8: Searching: great_lake(superior)
n11 9: Searching: lake_border(michigan, usa, canada)n16 9: Found: great_lake(superior)
17 10: Found: query | {'Result': 'Yes'}
18 
19Looking for other paths: Redo: lake_border(Candidate Variable_0, usa, canada)
20 
21 
22[Path 3]:
12 10Searching: lake_border(michigan, usa, canada)23 11Found: lake_border(michigan, usa, canada)
13 11: Searching: great_lake(michigan)
14 12: Searching: great_lake(michigan)24 12: Searching: great_lake(michigan)
nn25 13: Found: great_lake(michigan)
26 14: Found: query | {'Result': 'Yes'}
27 
28Looking for other paths: Redo: lake_border(Candidate Variable_0, usa, canada)
29 
30 
31[Path 4]:
15 13Searching: lake_border(huron, usa, canada)32 15Found: lake_border(huron, usa, canada)
16 14: Searching: lake_border(huron, usa, canada)
17 15: Searching: great_lake(huron)
18 16: Searching: great_lake(huron)33 16: Searching: great_lake(huron)
nn34 17: Found: great_lake(huron)
35 18: Found: query | {'Result': 'Yes'}
36 
37Looking for other paths: Redo: lake_border(Candidate Variable_0, usa, canada)
38 
39 
40[Path 5]:
19 17Searching: lake_border(erie, usa, canada)41 19Found: lake_border(erie, usa, canada)
20 18: Searching: lake_border(erie, usa, canada)
21 19: Searching: great_lake(erie)
22 20: Searching: great_lake(erie)42 20: Searching: great_lake(erie)
nn43 21: Found: great_lake(erie)
44 22: Found: query | {'Result': 'Yes'}
45 
46Looking for other paths: Redo: lake_border(Candidate Variable_0, usa, canada)
47 
48 
49[Path 6]:
23 21Searching: lake_border(ontario, usa, canada)50 23Found: lake_border(ontario, usa, canada)
24 22: Searching: lake_border(ontario, usa, canada)
25 23: Searching: great_lake(ontario)
26 24: Searching: great_lake(ontario)51 24: Searching: great_lake(ontario)
tt52 25: Found: great_lake(ontario)
27 25Searching: query | {'Result': 'yes'}53 26Found: query | {'Result': 'Yes'}
54 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op