Generate and test strategy for countdown numbers game. Will it always terminate and why?
141-142
eval/2
143
choose/3
143
aritop/3
143
isGreater/2
144
notOne/1
144
isFactor/2
145
countdown/3 with naive generate and test strategy
146-147
iterative deepening to find the closest solution – closest/4
148