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: image_change_affect_sales4 2: Searching: image_change_affect_sales
5 3: Searching: sales_increased_after_haircut(metallica)5 3: Searching: sales_increased_after_haircut(metallica)
6 4: Searching: album_sales(metallica, Candidate Variable_0)6 4: Searching: album_sales(metallica, Candidate Variable_0)
n7 5: Searching: album_sales(metallica, 30000000)n7 5: Found: album_sales(metallica, 30000000)
8 6: Searching: album_after_haircut(metallica)8 6: Searching: album_after_haircut(metallica)
9 7: Searching: album_release_date(metallica, Candidate Variable_1)9 7: Searching: album_release_date(metallica, Candidate Variable_1)
n10 8: Searching: album_release_date(metallica, 1991)n10 8: Found: album_release_date(metallica, 1991)
11 9: Searching: haircut_event(1988)11 9: Searching: haircut_event(1988)
n12 10: Searching: haircut_event(1988)n12 10: Found: haircut_event(1988)
13 11: Searching: 1991>198813 11: Searching: 1991>1988
n14 12: Searching: 1991>1988n14 12: Found: 1991>1988
15 13: Searching: album_sales(OtherAlbum, Candidate Variable_2)15 13: Found: album_after_haircut(metallica)
16 14: Searching: album_sales(and_justice_for_all, 15000000)16 14: Searching: album_sales(Candidate Variable_2, Candidate Variable_3)
17 15: Found: album_sales(master_of_puppets, 10000000)
17 15: Searching: album_release_date(OtherAlbum, Candidate Variable_3)18 16: Searching: album_release_date(master_of_puppets, Candidate Variable_4)
18 16: Searching: album_release_date(and_justice_for_all, 1988)19 17: Found: album_release_date(master_of_puppets, 1986)
19 17: Searching: haircut_event(1988)
20 18: Searching: haircut_event(1988)20 18: Searching: haircut_event(1988)
n21 19: Searching: 1988=<1988n21 19: Found: haircut_event(1988)
22 20: Searching: 1988=<198822 20: Searching: 1986=<1988
23 21: Searching: 30000000>1500000023 21: Found: 1986=<1988
24 22: Searching: 30000000>1500000024 22: Searching: 30000000>10000000
25 23: Found: 30000000>10000000
25 23Searching: sales_increased_after_haircut(metallica)26 24Found: sales_increased_after_haircut(metallica)
26 24: Searching: image_change_affect_sales
27 25: Searching: image_change_affect_sales27 25: Found: image_change_affect_sales
28 26: Searching: query | {'Result': 'yes'}28 26: Found: query | {'Result': 'Yes'}
2929
n30Looking for other paths: Redo: album_sales(OtherAlbum, Candidate Variable_2)n30Looking for other paths: Redo: album_sales(Candidate Variable_2, Candidate Variable_3)
3131
3232
33[Path 2]:33[Path 2]:
t34 27: Searching: album_sales(master_of_puppets, 10000000)t34 27: Found: album_sales(and_justice_for_all, 15000000)
35 28: Searching: album_after_haircut(master_of_puppets)
36 29: Searching: album_release_date(master_of_puppets, Candidate Variable_4)35 28: Searching: album_release_date(and_justice_for_all, Candidate Variable_5)
37 30: Searching: album_release_date(master_of_puppets, 1986)36 29: Found: album_release_date(and_justice_for_all, 1988)
38 31: Searching: haircut_event(1988)37 30: Searching: haircut_event(1988)
38 31: Found: haircut_event(1988)
39 32: Searching: 1988=<1988
40 33: Found: 1988=<1988
41 34: Searching: 30000000>15000000
42 35: Found: 30000000>15000000
43 36: Found: sales_increased_after_haircut(metallica)
44 37: Found: image_change_affect_sales
45 38: Found: query | {'Result': 'Yes'}
46 
47Looking for other paths: Redo: album_sales(Candidate Variable_2, Candidate Variable_3)
48 
49 
50[Path 3]:
51 39: Found: album_sales(metallica, 30000000)
52 40: Searching: album_release_date(metallica, Candidate Variable_6)
53 41: Found: album_release_date(metallica, 1991)
39 32: Searching: haircut_event(1988)54 42: Searching: haircut_event(1988)
40 33: Searching: 1986<198855 43: Found: haircut_event(1988)
41 34: Searching: 1986<198856 44: Searching: 1991=<1988
42 35: Searching: 10000000>15000000
43 36: Fail: 10000000>15000000 | {'Result': 'Search Failed'}57 45: Fail: 1991=<1988 | {'Result': 'Search Failed'}
44 37: Fail: sales_increased_after_haircut(metallica) | {'Result': 'Search Failed'}58 46: Fail: sales_increased_after_haircut(metallica) | {'Result': 'Search Failed'}
45 38: Fail: image_change_affect_sales | {'Result': 'Search Failed'}59 47: Fail: image_change_affect_sales | {'Result': 'Search Failed'}
46 39: Fail: query | {'Result': 'Search Failed'}60 48: Fail: query | {'Result': 'Search Failed'}
61 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op