f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: has_vegetarian_options(chick_fil_a) | | 2: Searching: has_vegetarian_options(chick_fil_a) |
n | 3: Searching: findall(Item, menu_item(Item, vegetarian), Items) | n | 3: Searching: findall(Candidate Variable_0, menu_item(_16228, vegetarian), Candidate Variable_1) |
| 4: Searching: findall(chicken_sandwich, ..., [chicken_sandwich]) | | 4: Searching: menu_item(Candidate Variable_0, vegetarian) |
| 5: Searching: length([chicken_sandwich], 1) | | 5: Found: menu_item(french_fries, vegetarian) |
| 6: Searching: menu_item(chicken_sandwich, vegetarian) | | |
| 7: Searching: menu_item(chicken_sandwich, not_vegetarian) | | |
| 8: Searching: length([chicken_sandwich], 1) | | |
| 9: Searching: has_vegetarian_options(chick_fil_a) | | |
| 10: Searching: 1>0 | | |
| 11: Searching: query | | |
| 12: Searching: {'Result': 'yes'} | | |
| | | |
n | Looking for other paths: Redo: findall(Item, menu_item(Item, vegetarian), Items) | n | Looking for other paths: Redo: menu_item(Candidate Variable_0, vegetarian) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
t | 13: Fail: findall(Item, menu_item(Item, vegetarian), Items) | {'Result': 'Search Failed'} | t | 6: Found: menu_item(cola, vegetarian) |
| 14: Fail: length(Items, Count) | | |
| 15: Fail: has_vegetarian_options(chick_fil_a) | {'Result': 'Search Failed'} | | Looking for other paths: Redo: menu_item(Candidate Variable_0, vegetarian) |
| 16: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| | | [Path 3]: |
| | | 7: Found: menu_item(salad, vegetarian) |
| | | 8: Found: findall(Candidate Variable_0, user:menu_item(_16228, vegetarian), [french_fries, cola, salad]) |
| | | 9: Searching: length([french_fries, cola, salad], Candidate Variable_2) |
| | | 10: Found: length([french_fries, cola, salad], 3) |
| | | 11: Searching: 3>0 |
| | | 12: Found: 3>0 |
| | | 13: Found: has_vegetarian_options(chick_fil_a) |
| | | 14: Found: query | {'Result': 'Yes'} |
| | | |