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: image_change_affect_sales | | 2: Searching: image_change_affect_sales |
| 3: Searching: sales_increased_after_haircut(metallica) | | 3: Searching: sales_increased_after_haircut(metallica) |
| 4: Searching: album_sales(metallica, Candidate Variable_0) | | 4: Searching: album_sales(metallica, Candidate Variable_0) |
n | 5: Searching: album_sales(metallica, 30000000) | n | 5: Found: album_sales(metallica, 30000000) |
| 6: Searching: album_after_haircut(metallica) | | 6: Searching: album_after_haircut(metallica) |
| 7: Searching: album_release_date(metallica, Candidate Variable_1) | | 7: Searching: album_release_date(metallica, Candidate Variable_1) |
n | 8: Searching: album_release_date(metallica, 1991) | n | 8: Found: album_release_date(metallica, 1991) |
| 9: Searching: haircut_event(1988) | | 9: Searching: haircut_event(1988) |
n | 10: Searching: haircut_event(1988) | n | 10: Found: haircut_event(1988) |
| 11: Searching: 1991>1988 | | 11: Searching: 1991>1988 |
n | 12: Searching: 1991>1988 | n | 12: Found: 1991>1988 |
| 13: Searching: album_sales(OtherAlbum, Candidate Variable_2) | | 13: Found: album_after_haircut(metallica) |
| 14: Searching: album_sales(and_justice_for_all, 15000000) | | 14: Searching: album_sales(Candidate Variable_2, Candidate Variable_3) |
| | | 15: Found: album_sales(master_of_puppets, 10000000) |
| 15: Searching: album_release_date(OtherAlbum, Candidate Variable_3) | | 16: Searching: album_release_date(master_of_puppets, Candidate Variable_4) |
| 16: Searching: album_release_date(and_justice_for_all, 1988) | | 17: Found: album_release_date(master_of_puppets, 1986) |
| 17: Searching: haircut_event(1988) | | |
| 18: Searching: haircut_event(1988) | | 18: Searching: haircut_event(1988) |
n | 19: Searching: 1988=<1988 | n | 19: Found: haircut_event(1988) |
| 20: Searching: 1988=<1988 | | 20: Searching: 1986=<1988 |
| 21: Searching: 30000000>15000000 | | 21: Found: 1986=<1988 |
| 22: Searching: 30000000>15000000 | | 22: Searching: 30000000>10000000 |
| | | 23: Found: 30000000>10000000 |
| 23: Searching: sales_increased_after_haircut(metallica) | | 24: Found: sales_increased_after_haircut(metallica) |
| 24: Searching: image_change_affect_sales | | |
| 25: Searching: image_change_affect_sales | | 25: Found: image_change_affect_sales |
| 26: Searching: query | {'Result': 'yes'} | | 26: Found: query | {'Result': 'Yes'} |
| | | |
n | Looking for other paths: Redo: album_sales(OtherAlbum, Candidate Variable_2) | n | Looking for other paths: Redo: album_sales(Candidate Variable_2, Candidate Variable_3) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
t | 27: Searching: album_sales(master_of_puppets, 10000000) | t | 27: Found: album_sales(and_justice_for_all, 15000000) |
| 28: Searching: album_after_haircut(master_of_puppets) | | |
| 29: Searching: album_release_date(master_of_puppets, Candidate Variable_4) | | 28: Searching: album_release_date(and_justice_for_all, Candidate Variable_5) |
| 30: Searching: album_release_date(master_of_puppets, 1986) | | 29: Found: album_release_date(and_justice_for_all, 1988) |
| 31: Searching: haircut_event(1988) | | 30: Searching: haircut_event(1988) |
| | | 31: Found: haircut_event(1988) |
| | | 32: Searching: 1988=<1988 |
| | | 33: Found: 1988=<1988 |
| | | 34: Searching: 30000000>15000000 |
| | | 35: Found: 30000000>15000000 |
| | | 36: Found: sales_increased_after_haircut(metallica) |
| | | 37: Found: image_change_affect_sales |
| | | 38: Found: query | {'Result': 'Yes'} |
| | | |
| | | Looking for other paths: Redo: album_sales(Candidate Variable_2, Candidate Variable_3) |
| | | |
| | | |
| | | [Path 3]: |
| | | 39: Found: album_sales(metallica, 30000000) |
| | | 40: Searching: album_release_date(metallica, Candidate Variable_6) |
| | | 41: Found: album_release_date(metallica, 1991) |
| 32: Searching: haircut_event(1988) | | 42: Searching: haircut_event(1988) |
| 33: Searching: 1986<1988 | | 43: Found: haircut_event(1988) |
| 34: Searching: 1986<1988 | | 44: Searching: 1991=<1988 |
| 35: Searching: 10000000>15000000 | | |
| 36: Fail: 10000000>15000000 | {'Result': 'Search Failed'} | | 45: Fail: 1991=<1988 | {'Result': 'Search Failed'} |
| 37: Fail: sales_increased_after_haircut(metallica) | {'Result': 'Search Failed'} | | 46: Fail: sales_increased_after_haircut(metallica) | {'Result': 'Search Failed'} |
| 38: Fail: image_change_affect_sales | {'Result': 'Search Failed'} | | 47: Fail: image_change_affect_sales | {'Result': 'Search Failed'} |
| 39: Fail: query | {'Result': 'Search Failed'} | | 48: Fail: query | {'Result': 'Search Failed'} |
| | | |