I think it is very relevant, because no brute-forcing is involved in this solution.
That's not true, the 'brute force' part is searching for a shortcut that works.
Re:Learn Prolog Now
by numpy-thagoras on Wednesday November 12, 2025 @05:28PM
(#45907746)
The brute force got reduced down to fast heuristics, like Arthur Benjamin's Mathemagics.
Re:Learn Prolog Now
by jabbywocker on Wednesday November 12, 2025 @02:20PM
(#45904833)
It’s almost like you’re proving the point of his reply…
7 * 101 = 707 * 10 = 7,070
And computers don't brute-force multiplication either, so I'm not sure how this is relevant to the comment above?