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: has_vegetarian_options(chick_fil_a)4 2: Searching: has_vegetarian_options(chick_fil_a)
n5 3: Searching: findall(Item, menu_item(Item, vegetarian), Items)n5 3: Searching: findall(Candidate Variable_0, menu_item(_16228, vegetarian), Candidate Variable_1)
6 4: Searching: findall(chicken_sandwich, ..., [chicken_sandwich])6 4: Searching: menu_item(Candidate Variable_0, vegetarian)
7 5: Searching: length([chicken_sandwich], 1)7 5: Found: menu_item(french_fries, vegetarian)
8 6: Searching: menu_item(chicken_sandwich, vegetarian)
9 7: Searching: menu_item(chicken_sandwich, not_vegetarian)
10 8: Searching: length([chicken_sandwich], 1)
11 9: Searching: has_vegetarian_options(chick_fil_a)
12 10: Searching: 1>0
13 11: Searching: query
14 12: Searching: {'Result': 'yes'}
158
n16Looking for other paths: Redo: findall(Item, menu_item(Item, vegetarian), Items)n9Looking for other paths: Redo: menu_item(Candidate Variable_0, vegetarian)
1710
1811
19[Path 2]:12[Path 2]:
t20 13: Fail: findall(Item, menu_item(Item, vegetarian), Items) | {'Result': 'Search Failed'}t13 6: Found: menu_item(cola, vegetarian)
21 14: Fail: length(Items, Count)14 
22 15: Fail: has_vegetarian_options(chick_fil_a) | {'Result': 'Search Failed'}15Looking for other paths: Redo: menu_item(Candidate Variable_0, vegetarian)
23 16: Fail: query | {'Result': 'Search Failed'}16 
17 
18[Path 3]:
19 7: Found: menu_item(salad, vegetarian)
20 8: Found: findall(Candidate Variable_0, user:menu_item(_16228, vegetarian), [french_fries, cola, salad])
21 9: Searching: length([french_fries, cola, salad], Candidate Variable_2)
22 10: Found: length([french_fries, cola, salad], 3)
23 11: Searching: 3>0
24 12: Found: 3>0
25 13: Found: has_vegetarian_options(chick_fil_a)
26 14: Found: query | {'Result': 'Yes'}
27 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op