f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: band_can_fit(mitsubishi_outlander_2020, [steven_tyler, joe_perry, tom_hamilton, joey_kramer, brad_whitford])4 2: Searching: band_can_fit(mitsubishi_outlander_2020, [steven_tyler, joe_perry, tom_hamilton, joey_kramer, brad_whitford])
53: Searching: vehicle(mitsubishi_outlander_2020, capacity, Candidate Variable_0)5 3: Searching: vehicle(mitsubishi_outlander_2020, capacity, Candidate Variable_0)
64: Searching: vehicle(mitsubishi_outlander_2020, capacity, 7)6 4: Found: vehicle(mitsubishi_outlander_2020, capacity, 7)
75: Searching: findall(BandMember, band_member(BandMember, height, _), [steven_tyler, joe_perry, tom_hamilton, joey_kramer, brad_whitford])7 5: Searching: findall(Candidate Variable_1, band_member(_6672, height, _6680), Candidate Variable_2)
8 6: Searching: band_member(Candidate Variable_1, height, Candidate Variable_3)
9 7: Found: band_member(steven_tyler, height, 68)
10 
11Looking for other paths: Redo: band_member(Candidate Variable_1, height, Candidate Variable_3)
12 
13 
14[Path 2]:
15 8: Found: band_member(joe_perry, height, 70)
16 9: Found: findall(Candidate Variable_1, user:band_member(_6672, height, _6680), [steven_tyler, joe_perry])
17 10: Searching: length([steven_tyler, joe_perry], Candidate Variable_4)
18 11: Found: length([steven_tyler, joe_perry], 2)
19 12: Searching: 2=<7
20 13: Found: 2=<7
21 14: Searching: apply:maplist
22 15: Searching: band_member_can_fit(mitsubishi_outlander_2020, steven_tyler)
23 16: Searching: vehicle(mitsubishi_outlander_2020, length, Candidate Variable_5)
24 17: Found: vehicle(mitsubishi_outlander_2020, length, 184.8)
25 18: Searching: vehicle(mitsubishi_outlander_2020, width, Candidate Variable_6)
26 19: Found: vehicle(mitsubishi_outlander_2020, width, 71.3)
27 20: Searching: vehicle(mitsubishi_outlander_2020, height, Candidate Variable_7)
28 21: Found: vehicle(mitsubishi_outlander_2020, height, 67.3)
86: Searching: band_member(steven_tyler, height, Candidate Variable_1)29 22: Searching: band_member(steven_tyler, height, Candidate Variable_8)
97Searching: band_member(steven_tyler, height, 68)30 23Found: band_member(steven_tyler, height, 68)
108: Searching: band_member(joe_perry, height, Candidate Variable_2)31 24: Searching: average_body_size(width, Candidate Variable_9)
119: Searching: band_member(joe_perry, height, 70)32 25: Found: average_body_size(width, 19)
1210: Searching: band_member(tom_hamilton, height, Candidate Variable_3)33 26: Searching: average_body_size(legroom, Candidate Variable_10)
1311: Fail: band_member(tom_hamilton, height, Candidate Variable_3) | {'Result': 'Search Failed'}34 27: Found: average_body_size(legroom, 40)
1412: Fail: findall(BandMember, band_member(BandMember, height, _), [steven_tyler, joe_perry, tom_hamilton, joey_kramer, brad_whitford]) | {'Result': 'Search Failed'}35 28: Searching: 68+40+19<67.3
36 29: Fail: 68+40+19<67.3 | {'Result': 'Search Failed'}
37 30: Fail: band_member_can_fit(mitsubishi_outlander_2020, steven_tyler) | {'Result': 'Search Failed'}
38 31: Fail: apply:maplist | {'Result': 'Search Failed'}
1513: Fail: band_can_fit(mitsubishi_outlander_2020, [steven_tyler, joe_perry, tom_hamilton, joey_kramer, brad_whitford]) | {'Result': 'Search Failed'}39 32: Fail: band_can_fit(mitsubishi_outlander_2020, [steven_tyler, joe_perry, tom_hamilton, joey_kramer, brad_whitford]) | {'Result': 'Search Failed'}
1614: Fail: query | {'Result': 'Search Failed'}40 33: Fail: query | {'Result': 'Search Failed'}
41 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op