Re:Learn Prolog Now
by polotics on Wednesday November 12, 2025 @01:57PM
(#45904373)
I think it is very relevant, because no brute-forcing is involved in this solution.
[ Parent
| on HN ]
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.