f1[Path 1]:f1[Path 1]:
nn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)
4 2: Searching: find_dimensions(150, Candidate Variable_0)
5 3: Searching: rectangle_dimensions(150, Candidate Variable_1, Candidate Variable_2)
6 4: Fail: rectangle_dimensions(150, Candidate Variable_1, Candidate Variable_2) | {'Result': 'Search Failed'}
7 5: Fail: find_dimensions(150, Candidate Variable_0) | {'Result': 'Search Failed'}
8 6: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
29
t30: Start of execution: Beginning Searcht
4 
51: Searching: query(Candidate Variable_Dimensions)
6 
72: Searching: find_dimensions(150, Candidate Variable_Dimensions)
8 
93: Searching: rectangle_dimensions(150, Width, Length)
10 
114: Searching: _14512 is 150=3*Width+30
12 
135: Found: Width=10, Length=15
14 
156: Found: rectangle_dimensions(150, 10, 15)
16 
177: Found: find_dimensions(150, [10,15])
18 
198: Found: query([10,15]) | {'Result': 'Dimensions = [10, 15]'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op