f1[Path 1]:f1[Path 1]:
n20: Start of execution: Beginning Searchn2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: total_red_balls(4, Candidate Variable_1)4 2: Searching: total_red_balls(4, red_total)
53: Searching: _14514 is 4*75 3: Searching: red_total is 4*7
64: Found: 28 is 4*76 4: Fail: red_total is 4*7 | {'Result': 'Search Failed'}
75: Found: total_red_balls(4, 28)7 5: Fail: total_red_balls(4, red_total) | {'Result': 'Search Failed'}
86: Searching: total_yellow_balls(3, Candidate Variable_2)8 6: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
97: Searching: _16910 is 3*7
108: Found: 21 is 3*7
119: Found: total_yellow_balls(3, 21)
1210: Searching: difference_in_total_balls(28, 21, Candidate Variable_3)
1311: Searching: _5834 is 28-21
1412: Found: 7 is 28-21
1513: Found: difference_in_total_balls(28, 21, 7)
1614: Searching: difference_in_packs(7, 7, Candidate Variable_0)
1715: Searching: _18182 is 7//7
1816: Found: 1 is 7//7
1917: Found: difference_in_packs(7, 7, 1)
2018: Found: query(1) | {'Result': 'PackDifference = 1'}
219
t22The code efficiently explores the logical relationships and arithmetic calculations to find the correct answer, demonstrating SWI-Prolog's capability to handle real-world problem-solving scenarios.t
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op